Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [r1925] Maximize Restore History

Test cleanup and other stuff for 1.0 release.

lukaszkaiser 2013-11-11

changed /trunk/Toss/Formula/FormulaOpsTest.ml
changed /trunk/Toss/Formula/QBFTest.ml
changed /trunk/Toss/Makefile
changed /trunk/Toss/Toss.odocl
changed /trunk/Toss/www/index.xml
/trunk/Toss/Formula/FormulaOpsTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Formula/QBFTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Makefile Diff Switch to side-by-side view
Loading...
/trunk/Toss/Toss.odocl Diff Switch to side-by-side view
Loading...
/trunk/Toss/www/index.xml Diff Switch to side-by-side view
Loading...