| Wed, 04 Apr 2012 11:15:54 +0200 | wenzelm | removed obsolete isar-overview manual; | file | diff | annotate |
| Tue, 03 Apr 2012 20:42:00 +0200 | wenzelm | formal integration of "prog-prove" manual; | file | diff | annotate |
| Fri, 14 May 2010 22:43:00 +0200 | blanchet | added Sledgehammer manual; | file | diff | annotate |
| Thu, 22 Oct 2009 14:45:20 +0200 | blanchet | Added Nitpick manual. | file | diff | annotate |
| Wed, 11 Mar 2009 12:51:00 +0100 | nipkow | Added "What's in Main" to doc sources | file | diff | annotate |
| Tue, 03 Mar 2009 11:00:51 +0100 | haftmann | more canonical directory structure of manuals | file | diff | annotate |
| Sun, 15 Feb 2009 21:26:25 +0100 | wenzelm | explicit section for old/outdated manuals, which are still informative to some extent; | file | diff | annotate |
| Wed, 02 Jul 2008 20:13:32 +0200 | wenzelm | renamed Contents to Dirs to avoid case-conflict with doc/Contents; | file | diff | annotate |