| Mon, 06 Aug 2018 15:19:39 +0200 | wenzelm | updated screenshot; | file | diff | annotate |
| Tue, 12 Jan 2016 19:58:17 +0100 | wenzelm | updated old screenshots, added new screenshots; | file | diff | annotate |
| Wed, 06 May 2015 23:39:30 +0200 | wenzelm | updated screenshot; | file | diff | annotate |
| Mon, 04 May 2015 20:05:50 +0200 | wenzelm | more on Isabelle document preparation and bibtex files; | file | diff | annotate |
