| Sat, 27 Feb 2021 11:51:39 +0100 | wenzelm | clarified message; | file | diff | annotate |
| Thu, 21 Jan 2021 16:10:43 +0100 | wenzelm | support isabelle components -u and -x; | file | diff | annotate |
| Sat, 31 Oct 2020 11:59:00 +0100 | wenzelm | clarified generated settings; | file | diff | annotate |