src/Pure/System/scala.ML
Tue, 21 Jun 2022 22:17:11 +0200 wenzelm more scalable byte messages, notably for Scala functions in ML;
Mon, 12 Apr 2021 18:10:13 +0200 wenzelm clarified signature for Scala functions;
Sun, 11 Apr 2021 22:47:55 +0200 wenzelm more uniform use of Byte_Message;
Sat, 13 Mar 2021 12:36:24 +0100 wenzelm clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
Tue, 09 Feb 2021 15:40:23 +0100 wenzelm more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
Sun, 07 Feb 2021 12:55:41 +0100 wenzelm clarified modules: allow early invocation of Scala functions;
Sun, 07 Feb 2021 12:30:52 +0100 wenzelm clarified modules: allow early definition of protocol commands;
less more (0) -10 -7 tip