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 |
Thu, 12 Aug 2021 13:14:49 +0200 | wenzelm | proper prover_options for batch-build; | changeset | files |
Thu, 12 Aug 2021 13:13:10 +0200 | wenzelm | clarified signature; | changeset | files |
Sat, 07 Aug 2021 22:23:37 +0200 | wenzelm | clarified signature: more options for bash_process; | changeset | files |
Sat, 07 Aug 2021 21:25:47 +0200 | wenzelm | tuned signature; | changeset | files |