on 3a76afa help sign in
1 file
../ TutorialD.hsatom EQ redefinition branch complete -all tests pass