2011-07-11 wenzelm [Mon, 11 Jul 2011 16:48:02 +0200] rev 43748
JVM method invocation service via Scala layer;
src/Pure/General/markup.ML src/Pure/General/markup.scala src/Pure/General/output.ML src/Pure/IsaMakefile src/Pure/PIDE/isar_document.ML src/Pure/PIDE/isar_document.scala src/Pure/ROOT.ML src/Pure/System/invoke_scala.ML src/Pure/System/invoke_scala.scala src/Pure/System/isabelle_process.scala src/Pure/System/session.scala

2011-07-11 wenzelm [Mon, 11 Jul 2011 15:56:30 +0200] rev 43747
tuned signature;
src/Pure/General/xml.scala src/Pure/System/isabelle_process.scala

2011-07-11 wenzelm [Mon, 11 Jul 2011 11:13:33 +0200] rev 43746
some support for raw messages, which bypass standard Symbol/YXML decoding;
tuned signature;
src/Pure/General/markup.scala src/Pure/General/output.ML src/Pure/General/yxml.scala src/Pure/ROOT.ML src/Pure/System/isabelle_process.ML src/Pure/System/isabelle_process.scala src/Pure/System/session.scala src/Pure/System/standard_system.scala

2011-07-11 wenzelm [Mon, 11 Jul 2011 10:27:50 +0200] rev 43745
tuned XML.Cache parameters;
src/Pure/General/xml.scala src/Pure/System/isabelle_process.scala

2011-07-10 wenzelm [Sun, 10 Jul 2011 23:46:05 +0200] rev 43744
some support to invoke Scala methods under program control;
src/Pure/System/invoke_scala.scala src/Pure/build-jars

2011-07-10 wenzelm [Sun, 10 Jul 2011 21:46:41 +0200] rev 43743
merged;
NEWS

2011-07-10 haftmann [Sun, 10 Jul 2011 21:39:03 +0200] rev 43742
merged

2011-07-10 haftmann [Sun, 10 Jul 2011 15:45:35 +0200] rev 43741
tuned proofs and notation
src/HOL/Complete_Lattice.thy

2011-07-10 haftmann [Sun, 10 Jul 2011 14:26:07 +0200] rev 43740
more succinct proofs
src/HOL/Complete_Lattice.thy

2011-07-10 haftmann [Sun, 10 Jul 2011 14:14:19 +0200] rev 43739
more succinct proofs
src/HOL/Complete_Lattice.thy