| Mon, 04 Apr 2016 15:35:24 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 01 Mar 2016 21:00:38 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 24 Jul 2014 15:54:56 +0200 | wenzelm | further distinction of Isabelle distribution: alert for identified release candidates; | file | diff | annotate |
| Thu, 24 Jul 2014 15:01:17 +0200 | wenzelm | clarified file names; | file | diff | annotate | base |