Thu, 15 Jan 2009 00:48:45 +0100 | wenzelm | removed junk; | file | diff | annotate |
Thu, 15 Jan 2009 00:44:06 +0100 | wenzelm | misc cleanup and simplification; | file | diff | annotate |
Tue, 13 Jan 2009 22:20:49 +0100 | wenzelm | misc internal rearrangements; | file | diff | annotate |
Tue, 13 Jan 2009 17:34:12 +0100 | wenzelm | replaced sys_error by plain error; | file | diff | annotate |
Tue, 13 Jan 2009 13:47:35 +0100 | wenzelm | added Isar/isar_document.ML: Interactive Isar documents. | file | diff | annotate |