src/Pure/Isar/isar_document.ML
Fri, 16 Jan 2009 21:24:33 +0100 wenzelm define_state: use empty_state;
Fri, 16 Jan 2009 16:00:20 +0100 wenzelm provide end_document;
Fri, 16 Jan 2009 15:21:26 +0100 wenzelm run command: check theory name for init;
Fri, 16 Jan 2009 12:10:51 +0100 wenzelm fold_entries: non-optional start, permissive;
Thu, 15 Jan 2009 15:51:19 +0100 wenzelm command 'Isar.edit_document': actually invoke edit_document;
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