| Wed, 27 May 2020 20:02:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 27 May 2020 16:43:34 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 27 May 2020 16:09:25 +0200 | wenzelm | more NEWS; | changeset | files |
| Wed, 27 May 2020 16:05:17 +0200 | wenzelm | more documentation on Isabelle/Scala; | changeset | files |
| Wed, 27 May 2020 16:04:53 +0200 | wenzelm | proper error positions; | changeset | files |
| Wed, 27 May 2020 15:51:10 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Tue, 26 May 2020 19:59:13 +0200 | wenzelm | discontinued pointless document antiquotation; | changeset | files |
| Tue, 26 May 2020 12:09:36 +0200 | wenzelm | proper check of example; | changeset | files |
| Tue, 26 May 2020 11:58:42 +0200 | wenzelm | clarified signature --- fit within limit of 22 arguments; | changeset | files |