| Mon, 27 Aug 2012 23:08:39 +0200 |
wenzelm |
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 |
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
|