| Sun, 14 Feb 2016 16:29:30 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sun, 14 Feb 2016 14:33:32 +0100 | wenzelm | more gentle termination (like Bash.multi_kill without signal) to give prover a chance to conclude; | changeset | files |
| Sun, 14 Feb 2016 13:38:31 +0100 | wenzelm | tuned whitespace; | changeset | files |