| Mon, 18 Jan 2021 15:22:17 +0100 | wenzelm | updated screenshot; | file | diff | annotate |
| Wed, 10 Apr 2019 23:35:25 +0200 | wenzelm | updated screenshots; | file | diff | annotate |
| Tue, 12 Jan 2016 19:58:17 +0100 | wenzelm | updated old screenshots, added new screenshots; | file | diff | annotate |
| Mon, 04 May 2015 20:05:50 +0200 | wenzelm | more on Isabelle document preparation and bibtex files; | file | diff | annotate |
