Sat, 23 Aug 2008 19:42:11 +0200 added General/markup.scala;
wenzelm [Sat, 23 Aug 2008 19:42:11 +0200] rev 27957
added General/markup.scala;
Sat, 23 Aug 2008 17:55:27 +0200 BadVariable: toString;
wenzelm [Sat, 23 Aug 2008 17:55:27 +0200] rev 27956
BadVariable: toString;
Sat, 23 Aug 2008 17:55:26 +0200 use java.util.concurrent.LinkedBlockingQueue, which blocks as required;
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;
Sat, 23 Aug 2008 17:55:26 +0200 append_string: proper backslash in character escapes;
wenzelm [Sat, 23 Aug 2008 17:55:26 +0200] rev 27954
append_string: proper backslash in character escapes;
Sat, 23 Aug 2008 17:22:54 +0200 added getenv;
wenzelm [Sat, 23 Aug 2008 17:22:54 +0200] rev 27953
added getenv; renamed get_setting to getenv_strict; added shell_prefix (for Cygwin);
Sat, 23 Aug 2008 17:22:53 +0200 tuned;
wenzelm [Sat, 23 Aug 2008 17:22:53 +0200] rev 27952
tuned;
Sat, 23 Aug 2008 17:22:52 +0200 Isabelle outer syntax.
wenzelm [Sat, 23 Aug 2008 17:22:52 +0200] rev 27951
Isabelle outer syntax.
Sat, 23 Aug 2008 17:22:51 +0200 added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala;
wenzelm [Sat, 23 Aug 2008 17:22:51 +0200] rev 27950
added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala; scalac -deprecation;
Sat, 23 Aug 2008 17:22:51 +0200 Isabelle process management -- always reactive due to multi-threaded I/O.
wenzelm [Sat, 23 Aug 2008 17:22:51 +0200] rev 27949
Isabelle process management -- always reactive due to multi-threaded I/O.
Sat, 23 Aug 2008 11:48:52 +0200 renamed DOM to document, add xml version and optional stylesheets;
wenzelm [Sat, 23 Aug 2008 11:48:52 +0200] rev 27948
renamed DOM to document, add xml version and optional stylesheets;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip