| Mon, 02 May 2011 22:05:47 +0200 | wenzelm | removed rail garbage; | changeset | files |
| Mon, 02 May 2011 22:03:18 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 02 May 2011 22:00:38 +0200 | wenzelm | just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure; | changeset | files |
| 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 |