src/Pure/System/isar_document.ML
Sun, 15 Aug 2010 18:41:23 +0200 wenzelm more explicit / functional ML version of document model;
Sun, 15 Aug 2010 14:18:52 +0200 wenzelm renamed class Document to Document.Version etc.;
Sat, 14 Aug 2010 22:45:23 +0200 wenzelm more basic Markup.parse_int/print_int (using signed_string_of_int) (ML);
Sat, 14 Aug 2010 18:43:45 +0200 wenzelm moved isar_document.ML/scala to Pure/System/ -- side-by-side with isar.ML;
less more (0) tip