Commit [r1877] Maximize Restore History

GDL Prolog: memoization; reordering on by default.

lukstafi 2013-05-19

changed /trunk/Toss/GGP/GDL.ml
changed /trunk/Toss/GGP/TranslateGameTest.ml
/trunk/Toss/GGP/GDL.ml Diff Switch to side-by-side view
Loading...
/trunk/Toss/GGP/TranslateGameTest.ml Diff Switch to side-by-side view
Loading...