| Wed, 12 Oct 2016 21:53:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 05 Sep 2016 11:43:37 +0200 | wenzelm | support resource management; | file | diff | annotate |
| 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 |