| Fri, 08 Apr 2011 21:11:29 +0200 | wenzelm | discontinued Syntax.max_pri, which is not really a symbolic parameter; | changeset | files |
| Fri, 08 Apr 2011 21:03:20 +0200 | wenzelm | CONST syntax with positions; | changeset | files |
| Fri, 08 Apr 2011 20:39:09 +0200 | wenzelm | moved CONST syntax/translations to their proper place; | changeset | files |
| Fri, 08 Apr 2011 18:08:13 +0200 | wenzelm | simplified Pure syntax bootstrap; | changeset | files |
| Fri, 08 Apr 2011 17:45:37 +0200 | wenzelm | renamed sprop "prop#" to "prop'" -- proper identifier; | changeset | files |
| Fri, 08 Apr 2011 16:38:46 +0200 | wenzelm | merged | changeset | files |
| Thu, 07 Apr 2011 21:49:24 +0200 | krauss | raised timeout further, for SML/NJ | changeset | files |