| Mon, 04 Apr 2022 23:33:14 +0200 | wenzelm | clarified signature: avoid ambiguity in scala3; | file | diff | annotate |
| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Fri, 16 Mar 2018 16:38:46 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 14 May 2017 17:01:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 29 Sep 2015 13:54:04 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 01 Apr 2015 18:16:53 +0200 | wenzelm | clarified module; | file | diff | annotate |
| Wed, 01 Apr 2015 15:41:08 +0200 | wenzelm | added isabelle build option -k, for fast off-line checking of theory sources; | file | diff | annotate |