Wed, 15 Sep 2010 11:30:32 +0200 | haftmann | replaced ML_Context.evaluate by ML_Context.value -- using context data instead of bare metal references | changeset | files |
Wed, 15 Sep 2010 11:30:31 +0200 | haftmann | replaced ML_Context.evaluate by ML_Context.value -- using context data instead of bare metal references; tuned structures | changeset | files |
Wed, 15 Sep 2010 10:45:22 +0200 | blanchet | merge | changeset | files |
Wed, 15 Sep 2010 10:43:57 +0200 | blanchet | compile on SML/NJ | changeset | files |
Wed, 15 Sep 2010 10:26:09 +0200 | blanchet | in debug mode, don't touch "$true" and "$false" | changeset | files |
Wed, 15 Sep 2010 09:36:39 +0200 | bulwahn | adding option show_invalid_clauses for a more detailed message when modes are not inferred | changeset | files |