Thu, 12 Aug 2021 14:18:46 +0200 | wenzelm | provide bash_process server for Isabelle/ML and other external programs; | changeset | files |
Thu, 12 Aug 2021 13:55:45 +0200 | wenzelm | clarified signature; | changeset | files |
Thu, 12 Aug 2021 13:19:56 +0200 | wenzelm | clarified signature; | changeset | files |