| 2009-03-11 | nipkow | Added "What's in Main" to doc sources | file | diff | annotate |
| 2009-03-03 | haftmann | more canonical directory structure of manuals | file | diff | annotate |
| 2009-02-15 | wenzelm | explicit section for old/outdated manuals, which are still informative to some extent; | file | diff | annotate |
| 2008-07-02 | wenzelm | renamed Contents to Dirs to avoid case-conflict with doc/Contents; | file | diff | annotate |