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