| Mon, 23 Mar 2009 19:01:17 +0100 | haftmann | corrected variable renaming | changeset | files |
| Mon, 23 Mar 2009 19:01:16 +0100 | haftmann | tuned error messages | changeset | files |
| Mon, 23 Mar 2009 19:01:16 +0100 | haftmann | moved generic arith_tac (formerly silent_arith_tac), verbose_arith_tac (formerly arith_tac) to Arith_Data; simple_arith-tac now named linear_arith_tac | changeset | files |
| Mon, 23 Mar 2009 19:01:15 +0100 | haftmann | structure LinArith now named Lin_Arith | changeset | files |
| Mon, 23 Mar 2009 19:01:15 +0100 | haftmann | suddenly infix identifier oo occurs in generated code | changeset | files |
| Tue, 24 Mar 2009 11:57:41 +0100 | wenzelm | datatype antiquote: maintain original Position.range, which is eventually attached to the resulting ML tokens; | changeset | files |
| Tue, 24 Mar 2009 11:39:25 +0100 | wenzelm | eliminated non-canonical alias structure T = ML_Lex; | changeset | files |