| 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
|
| Fri, 08 Apr 2011 16:34:14 +0200 |
wenzelm |
discontinued special treatment of structure Lexicon;
|
changeset |
files
|
| Fri, 08 Apr 2011 15:48:14 +0200 |
wenzelm |
discontinued special status of structure Printer;
|
changeset |
files
|
| Fri, 08 Apr 2011 15:02:11 +0200 |
wenzelm |
discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
|
changeset |
files
|
| Fri, 08 Apr 2011 14:20:57 +0200 |
wenzelm |
discontinued special treatment of structure Mixfix;
|
changeset |
files
|
| Fri, 08 Apr 2011 14:05:31 +0200 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| Fri, 08 Apr 2011 13:59:28 +0200 |
wenzelm |
removed outdated text (cf. 84a3f86441eb);
|
changeset |
files
|
| Fri, 08 Apr 2011 13:31:16 +0200 |
wenzelm |
explicit structure Syntax_Trans;
|
changeset |
files
|