| Mon, 24 May 2021 11:58:06 +0200 | wenzelm | clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle"); | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Thu, 25 May 2017 17:32:35 +0200 | wenzelm | more operations; | file | diff | annotate |
| Mon, 19 Dec 2016 20:46:15 +0100 | wenzelm | clarified modules; | file | diff | annotate | base |