issues of non-termination is fixed
shallowEq -> shellEq,
code clarification
svn:eol-style=native
ResetVarGen, which is useful for unit testing.
Unit testing: MSG
Unit testing: HE
Unit testing: Algebra
Unit testing: SLanguage
Cleaning up names
Unit testing: ProcessTree
Unit testing: Driving
bug with textual ordering of variables is fixed + test for it added
Migration to 2.8
"polishing project"
more examples
missing brackets are restored
migrating to sbt and scala 2.10.1
sbt files
migration to sbt