| Wed, 11 Jul 2007 10:59:23 +0200 | berghofe | Added new package for inductive sets. | changeset | files |
| Wed, 11 Jul 2007 10:53:39 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |
| Wed, 11 Jul 2007 10:52:20 +0200 | berghofe | Adapted to changes in inductive definition package. | changeset | files |
| Wed, 11 Jul 2007 00:46:48 +0200 | wenzelm | tuned comment markup; | changeset | files |
| Wed, 11 Jul 2007 00:29:52 +0200 | wenzelm | treat OuterLex.Error; | changeset | files |
| Wed, 11 Jul 2007 00:29:51 +0200 | wenzelm | separated Malformed (symbolic char) from Error (bad input); | changeset | files |
| Wed, 11 Jul 2007 00:29:50 +0200 | wenzelm | Output.escape_malformed; | changeset | files |