| Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | dynamic and static value computation; built-in evaluation of propositions | changeset | files |
| Thu, 16 Sep 2010 16:51:33 +0200 | haftmann | Exn.map_result | changeset | files |
| Thu, 16 Sep 2010 16:51:33 +0200 | haftmann | adjusted to changes in Code_Runtime | changeset | files |
| Thu, 16 Sep 2010 17:42:49 +0200 | bulwahn | merged | changeset | files |
| Thu, 16 Sep 2010 16:20:20 +0200 | bulwahn | merged | changeset | files |
| Thu, 16 Sep 2010 13:49:17 +0200 | bulwahn | improving replacing higher order arguments to work with tuples | changeset | files |
| Thu, 16 Sep 2010 13:49:14 +0200 | bulwahn | adding another context free grammar example for the predicate compiler | changeset | files |
| Thu, 16 Sep 2010 13:49:12 +0200 | bulwahn | adding values to show and ensure that values works with complex terms and restores numerals on natural numbers | changeset | files |