Commit [r1790] Maximize Restore History

Changing binary 0 and 1 to special in term arithmetics, improving term interface, resurrecting Picture ml.

lukaszkaiser 2012-10-26

added /trunk/Toss/Server/PictureTest.ml
added /trunk/Toss/Server/Picture.ml
added /trunk/Toss/Server/Picture.mli
changed /trunk/Toss/Term/tests/short_checks.log
changed /trunk/Toss/Term/tests/simple_algo.trs
changed /trunk/Toss/Makefile
changed /trunk/Toss/Server/Tests.ml
changed /trunk/Toss/Term/tests/simple_algo.log
changed /trunk/Toss/Term/TRS.ml
changed /trunk/Toss/Term/TRSTest.ml
changed /trunk/Toss/Client/term.html
changed /trunk/Toss/Client/JsTerm.ml
changed /trunk/Toss/Term/TRS.mli
changed /trunk/Toss/Term/tests/short_checks.trs
changed /trunk/Toss/Term/lib/arithmetics.trs
changed /trunk/Toss/Term/tests/differentiation.log
/trunk/Toss/Server/PictureTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Server/Picture.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Server/Picture.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/tests/short_checks.log Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/tests/simple_algo.trs Diff Switch to side-by-side view
Loading...
/trunk/Toss/Makefile Diff Switch to side-by-side view
Loading...
/trunk/Toss/Server/Tests.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/tests/simple_algo.log Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/TRS.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/TRSTest.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Client/term.html Diff Switch to side-by-side view
Loading...
/trunk/Toss/Client/JsTerm.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/TRS.mli Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/tests/short_checks.trs Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/lib/arithmetics.trs Diff Switch to side-by-side view
Loading...
/trunk/Toss/Term/tests/differentiation.log Diff Switch to side-by-side view
Loading...