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 |