doc-src/Dirs
Fri, 14 May 2010 22:43:00 +0200 blanchet added Sledgehammer manual;
Thu, 22 Oct 2009 14:45:20 +0200 blanchet Added Nitpick manual.
Wed, 11 Mar 2009 12:51:00 +0100 nipkow Added "What's in Main" to doc sources
Tue, 03 Mar 2009 11:00:51 +0100 haftmann more canonical directory structure of manuals
Sun, 15 Feb 2009 21:26:25 +0100 wenzelm explicit section for old/outdated manuals, which are still informative to some extent;
Wed, 02 Jul 2008 20:13:32 +0200 wenzelm renamed Contents to Dirs to avoid case-conflict with doc/Contents;
less more (0) tip