wenzelm [Sat, 23 Aug 2008 17:55:27 +0200] rev 27956
BadVariable: toString;
wenzelm [Sat, 23 Aug 2008 17:55:26 +0200] rev 27955
use java.util.concurrent.LinkedBlockingQueue, which blocks as required;
IsabelleProcessException: toString;
Result: improved toString;
Result: raw markup for stdout/stderr;
cmdline: proper executable name, added YXML mode;
wenzelm [Sat, 23 Aug 2008 17:55:26 +0200] rev 27954
append_string: proper backslash in character escapes;
wenzelm [Sat, 23 Aug 2008 17:22:54 +0200] rev 27953
added getenv;
renamed get_setting to getenv_strict;
added shell_prefix (for Cygwin);
wenzelm [Sat, 23 Aug 2008 17:22:53 +0200] rev 27952
tuned;
wenzelm [Sat, 23 Aug 2008 17:22:52 +0200] rev 27951
Isabelle outer syntax.
wenzelm [Sat, 23 Aug 2008 17:22:51 +0200] rev 27950
added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala;
scalac -deprecation;
wenzelm [Sat, 23 Aug 2008 17:22:51 +0200] rev 27949
Isabelle process management -- always reactive due to multi-threaded I/O.
wenzelm [Sat, 23 Aug 2008 11:48:52 +0200] rev 27948
renamed DOM to document, add xml version and optional stylesheets;
wenzelm [Fri, 22 Aug 2008 21:25:19 +0200] rev 27947
tuned comments;
added document object model (DOM);