Commit [r1926]  Maximize  Restore  History

Bugfixes in Server and for 32-bit compilation.

lukaszkaiser 2013-11-25

changed /trunk/Toss/Formula/HashCons.ml
changed /trunk/Toss/Server/Server.ml
changed /trunk/Toss/www/contact.xml
changed /trunk/Toss/www/index.xml
/trunk/Toss/Formula/HashCons.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Server/Server.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/www/contact.xml Diff Switch to side-by-side view
Loading...
/trunk/Toss/www/index.xml Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks