Thu, 22 Jun 2017 14:27:13 +0200 |
wenzelm |
more informative task_statistics;
|
file |
diff |
annotate
|
Thu, 03 Mar 2016 15:23:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
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
|
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
|