| Mon, 02 May 2011 21:59:47 +0200 | wenzelm | proper treatment of underscore in rail diagrams; | changeset | files |
| Mon, 02 May 2011 21:46:54 +0200 | wenzelm | simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here); | changeset | files |
| Mon, 02 May 2011 21:42:36 +0200 | wenzelm | eliminated external rail executable; | changeset | files |
| Mon, 02 May 2011 21:41:39 +0200 | wenzelm | removed obsolete rail diagrams (which were about old-style theory syntax); | changeset | files |
| Mon, 02 May 2011 21:33:21 +0200 | wenzelm | moved material about old codegen to isar-ref manual; | changeset | files |
| Mon, 02 May 2011 20:34:34 +0200 | wenzelm | eliminated some duplicate "def" positions; | changeset | files |
| Mon, 02 May 2011 20:14:19 +0200 | wenzelm | 'axiomatization' is global; | changeset | files |