| 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 |
| Sat, 23 Apr 2005 19:51:04 +0200 | wenzelm | qualified name Pure.skip_proof; | changeset | files |
| Sat, 23 Apr 2005 19:50:51 +0200 | wenzelm | added structure Isar (from isar.ML); | changeset | files |
| Sat, 23 Apr 2005 19:50:40 +0200 | wenzelm | removed structure PureIsar; | changeset | files |
| Sat, 23 Apr 2005 19:50:23 +0200 | wenzelm | qualified name Pure.attribute; | changeset | files |
| Sat, 23 Apr 2005 19:50:15 +0200 | wenzelm | removed isar.ML; | changeset | files |