| 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 |