| Wed, 14 Jul 2010 16:45:30 +0200 | haftmann | part of pervasive test | changeset | files |
| Wed, 14 Jul 2010 16:45:30 +0200 | haftmann | avoid ambiguities; tuned | changeset | files |
| Wed, 14 Jul 2010 16:45:29 +0200 | haftmann | repaired of_list implementation for SML, OCaml | changeset | files |
| Wed, 14 Jul 2010 16:13:14 +0200 | haftmann | avoid export_code ... file - | changeset | files |
| Wed, 14 Jul 2010 16:02:50 +0200 | haftmann | explicit optional checking | changeset | files |
| Wed, 14 Jul 2010 15:49:29 +0200 | haftmann | added Isar syntax for code checking | changeset | files |
| Wed, 14 Jul 2010 15:49:29 +0200 | haftmann | corrected import | changeset | files |