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;
Fri, 22 Aug 2008 21:25:19 +0200 tuned comments;
wenzelm [Fri, 22 Aug 2008 21:25:19 +0200] rev 27947
tuned comments; added document object model (DOM);
Thu, 21 Aug 2008 22:06:17 +0200 parse_attrib: proper index of name end!
wenzelm [Thu, 21 Aug 2008 22:06:17 +0200] rev 27946
parse_attrib: proper index of name end!
Thu, 21 Aug 2008 21:42:16 +0200 tuned parse performance: avoid splitting terminal Y chunk;
wenzelm [Thu, 21 Aug 2008 21:42:16 +0200] rev 27945
tuned parse performance: avoid splitting terminal Y chunk;
Thu, 21 Aug 2008 21:27:07 +0200 parse_attrib: more efficient due to indexOf('=');
wenzelm [Thu, 21 Aug 2008 21:27:07 +0200] rev 27944
parse_attrib: more efficient due to indexOf('=');
Thu, 21 Aug 2008 20:53:31 +0200 replaced Pattern.split by chunks iterator (more efficient, resembles ML version more closely);
wenzelm [Thu, 21 Aug 2008 20:53:31 +0200] rev 27943
replaced Pattern.split by chunks iterator (more efficient, resembles ML version more closely);
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip