| Fri, 23 Nov 2012 15:08:44 +0100 | wenzelm | more uniform title, follow-up to 928cb8b35e6e; | file | diff | annotate |
| Tue, 28 Aug 2012 13:12:03 +0200 | wenzelm | removed historic manual; | file | diff | annotate |
| Tue, 03 Apr 2012 21:39:28 +0200 | wenzelm | prefer prog-prove, suppress isar-overview; | file | diff | annotate |
| Tue, 03 Apr 2012 20:42:00 +0200 | wenzelm | formal integration of "prog-prove" manual; | file | diff | annotate |
| Wed, 07 Sep 2011 20:49:45 +0200 | wenzelm | some updates for release; | file | diff | annotate |
| Sun, 16 Jan 2011 21:05:10 +0100 | wenzelm | misc updates for release; | file | diff | annotate |
| Fri, 14 May 2010 23:34:24 +0200 | blanchet | added Sledgehammer documentation to TOC | file | diff | annotate |