| Tue, 26 Apr 2005 09:24:58 +0200 | ballarin | Fixed bug in fact activation. | changeset | files |
| Mon, 25 Apr 2005 18:29:40 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 25 Apr 2005 17:58:41 +0200 | ballarin | Subsumption of locale interpretations. | changeset | files |
| Sat, 23 Apr 2005 19:51:54 +0200 | wenzelm | tuned comment; | changeset | files |
| Sat, 23 Apr 2005 19:51:45 +0200 | wenzelm | added tokentrans_mode, standard_token_classes, standard_token_markers (from token_trans.ML); | changeset | files |
| Sat, 23 Apr 2005 19:51:35 +0200 | wenzelm | SynExt.standard_token_markers | changeset | files |
| Sat, 23 Apr 2005 19:51:24 +0200 | wenzelm | removed token_trans.ML (some content moved to syn_ext.ML); | changeset | files |
| Sat, 23 Apr 2005 19:51:11 +0200 | wenzelm | eval command line arguments; | changeset | files |