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 |