| 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 |
| Sat, 07 Aug 2021 19:58:38 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 07 Aug 2021 19:29:41 +0200 | wenzelm | clarified signature; | changeset | files |