| Wed, 27 May 2020 14:33:03 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 27 May 2020 14:32:51 +0200 | wenzelm | more antiquotations; | changeset | files |
| Wed, 27 May 2020 14:27:22 +0200 | wenzelm | check bash functions against Isabelle settings environment; | changeset | files |
| Wed, 27 May 2020 13:57:13 +0200 | wenzelm | misc tuning; | changeset | files |
| Wed, 27 May 2020 13:22:17 +0200 | wenzelm | breakable scala_name; | changeset | files |
| Tue, 26 May 2020 22:45:05 +0200 | wenzelm | tuned signature; | changeset | files |