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