| Tue, 26 Feb 2002 00:21:31 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 26 Feb 2002 00:19:04 +0100 | wenzelm | converted; | changeset | files |
| Mon, 25 Feb 2002 20:51:48 +0100 | wenzelm | added check_text; | changeset | files |
| Mon, 25 Feb 2002 20:51:27 +0100 | wenzelm | export locale_target, locale_keyword; | changeset | files |
| Mon, 25 Feb 2002 20:51:00 +0100 | wenzelm | markup commands moved to isar_cmd.ML; | changeset | files |
| Mon, 25 Feb 2002 20:50:42 +0100 | wenzelm | updated markup commands; | changeset | files |
| Mon, 25 Feb 2002 20:50:10 +0100 | wenzelm | export eval_antiquote; | changeset | files |
| Mon, 25 Feb 2002 20:49:05 +0100 | wenzelm | markup commands (from isar_thy.ML) with proper check of antiquotations; | changeset | files |