src/Pure/Isar/isar_document.ML
Thu, 15 Jan 2009 12:16:51 +0100 wenzelm tuned;
Thu, 15 Jan 2009 11:55:22 +0100 wenzelm edit_document: proper edits/edit markup, including the document id;
Thu, 15 Jan 2009 00:48:45 +0100 wenzelm removed junk;
Thu, 15 Jan 2009 00:44:06 +0100 wenzelm misc cleanup and simplification;
Tue, 13 Jan 2009 22:20:49 +0100 wenzelm misc internal rearrangements;
Tue, 13 Jan 2009 17:34:12 +0100 wenzelm replaced sys_error by plain error;
Tue, 13 Jan 2009 13:47:35 +0100 wenzelm added Isar/isar_document.ML: Interactive Isar documents.
less more (0) tip