isabelle: File revisions

src/Pure/System/invoke_scala.ML

Mon, 31 Mar 2014 10:28:08 +0200	wenzelm	support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;	file \| diff \| annotate
Fri, 05 Jul 2013 23:10:18 +0200	wenzelm	more uniform Counter in ML and Scala;	file \| diff \| annotate
Wed, 22 May 2013 14:10:45 +0200	wenzelm	explicit management of Session.Protocol_Handlers, with protocol state and functions;	file \| diff \| annotate
Wed, 02 Jan 2013 13:20:10 +0100	wenzelm	removed outdated comment;	file \| diff \| annotate
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

isabelle