| Tue, 11 Mar 2025 23:10:15 +0100 | wenzelm | update screenshots for Isabelle2025: very minor deviations of content; | file | diff | annotate |
| Sun, 17 Jan 2021 23:48:55 +0100 | wenzelm | updated screenshots; | file | diff | annotate |
| Wed, 10 Apr 2019 23:35:25 +0200 | wenzelm | updated screenshots; | file | diff | annotate |
| 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 |
