isabelle: File revisions

src/Pure/System/invoke_scala.ML

Sun, 25 Nov 2012 19:49:24 +0100	wenzelm	Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;	file \| diff \| annotate
Thu, 20 Sep 2012 19:23:05 +0200	wenzelm	more management of Invoke_Scala tasks;	file \| diff \| annotate
Wed, 05 Sep 2012 20:54:40 +0200	wenzelm	eliminated potentially confusing terminology of Scala "layer";	file \| diff \| annotate
Sat, 03 Mar 2012 18:18:39 +0100	wenzelm	clarified terminology of raw protocol messages;	file \| diff \| annotate
Mon, 28 Nov 2011 22:05:32 +0100	wenzelm	separate module for concrete Isabelle markup;	file \| diff \| annotate
Fri, 19 Aug 2011 14:01:20 +0200	wenzelm	Future.promise: explicit abort operation (like uninterruptible future job);	file \| diff \| annotate
Mon, 11 Jul 2011 22:55:47 +0200	wenzelm	tuned signature -- corresponding to Scala version;	file \| diff \| annotate
Mon, 11 Jul 2011 17:10:32 +0200	wenzelm	tuned signature;	file \| diff \| annotate
Mon, 11 Jul 2011 16:48:02 +0200	wenzelm	JVM method invocation service via Scala layer;	file \| diff \| annotate

isabelle