| 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 |
| Mon, 25 Feb 2002 20:48:14 +0100 | wenzelm | clarified syntax of ``long'' statements: fixes/assumes/shows; | changeset | files |
| Mon, 25 Feb 2002 20:46:09 +0100 | wenzelm | clarify module dependencies; | changeset | files |
| Mon, 25 Feb 2002 20:33:40 +0100 | wenzelm | updated; | changeset | files |