| Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
| Thu, 12 Aug 2021 14:18:46 +0200 | wenzelm | provide bash_process server for Isabelle/ML and other external programs; | file | diff | annotate |