2010-08-11 wenzelm 2010-08-11 represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids);
2010-08-11 wenzelm 2010-08-11 Isar_Document command input via native Isabelle_Process commands, using YXML and XML_Data representation;
2010-08-10 wenzelm 2010-08-10 distinguish proper Isabelle_Process INPUT vs. raw STDIN, tuned corresponding method names; asynchronous Isabelle_Process.init -- raw ML toplevel stays active; simplified Isabelle_Process using actors; misc tuning;
2010-08-08 wenzelm 2010-08-08 explicitly distinguish Output.status (essential feedback) vs. (useful markup);
2010-08-07 wenzelm 2010-08-07 simplified some Markup;
2010-08-07 wenzelm 2010-08-07 simplified type XML.Tree: embed Markup directly, avoid slightly odd triple; XML.cache_tree: actually store XML.Text as well; added;
2010-08-05 wenzelm 2010-08-05 simplified/refined document model: collection of named nodes, without proper dependencies yet; moved basic type definitions for ids and edits from Isar_Document to Document; removed begin_document/end_document for now -- nodes emerge via edits; edits refer to named nodes explicitly;
2010-05-06 wenzelm 2010-05-06 extractors for document updates; Session.handle_result: use extractors instead of raw patterns -- NB: using mixed patterns of case classes vs. extractors crashes Scala 2.8.1 RC1;
2009-09-01 wenzelm 2009-09-01 modernized Isar_Document;
2009-08-29 wenzelm 2009-08-29 misc tuning;
2009-08-29 wenzelm 2009-08-29 moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala; renamed object IsabelleSyntax to Isabelle_Syntax;
2009-06-25 wenzelm 2009-06-25 renamed IsabelleProcess to Isabelle_Process; renamed IsabelleSystem to Isabelle_System;
2009-05-23 wenzelm 2009-05-23 proper indentation;
2009-01-27 wenzelm 2009-01-27 plain non-dependent types;
2009-01-27 wenzelm 2009-01-27 turned IsarDocument into trait for IsabelleProcess;
2009-01-18 wenzelm 2009-01-18 Scala wrapper for interactive Isar documents;