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 |