| Sun, 07 Feb 2021 20:39:15 +0100 | wenzelm | more robust: allow YXML text; | changeset | files |
| Sun, 07 Feb 2021 17:00:03 +0100 | wenzelm | inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy; | changeset | files |
| Sun, 07 Feb 2021 16:31:43 +0100 | wenzelm | support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2; | changeset | files |
| Sun, 07 Feb 2021 15:32:57 +0100 | wenzelm | clarified modules: less redundancy; | changeset | files |
| Sun, 07 Feb 2021 12:55:41 +0100 | wenzelm | clarified modules: allow early invocation of Scala functions; | changeset | files |
| Sun, 07 Feb 2021 12:30:52 +0100 | wenzelm | clarified modules: allow early definition of protocol commands; | changeset | files |
| Wed, 03 Feb 2021 20:18:34 +0100 | wenzelm | clarified links to external files, e.g. .pdf within .thy source document; | changeset | files |