Fri, 16 Apr 2021 23:16:00 +0200 | wenzelm | support for conditional ML text; | file | diff | annotate |
Sat, 20 Feb 2021 22:09:16 +0100 | wenzelm | more uniform Bash.process: always ask Isabelle/Scala; | file | diff | annotate |
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; | file | diff | annotate |
Sun, 01 Nov 2020 15:31:41 +0100 | wenzelm | proper build_call for interpreted ARM platform; | file | diff | annotate |
Mon, 21 Jan 2019 15:10:26 +0100 | wenzelm | more operations; | file | diff | annotate |
Thu, 03 Mar 2016 21:59:21 +0100 | wenzelm | discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; | file | diff | annotate | base |