| Wed, 29 Aug 2012 14:29:38 +0200 | wenzelm | no attempt to build documentation for now -- requires ML_HOME etc. which is not present here; | file | diff | annotate |
| Tue, 28 Aug 2012 22:16:06 +0200 | wenzelm | discontinued centralistic changelog; | file | diff | annotate |
| Tue, 28 Aug 2012 20:16:11 +0200 | wenzelm | discontinued odd copy of eps logos (cf. 8fc3828fdc8a); | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate |
| Tue, 28 Aug 2012 17:49:02 +0200 | wenzelm | more formal build_doc tool (Admin only); | file | diff | annotate |
| Tue, 14 Aug 2012 10:44:03 +0200 | wenzelm | always retain doc-src (as regular component); | file | diff | annotate |
| Mon, 30 Jul 2012 15:54:17 +0200 | wenzelm | makedist -D retains doc-src component with its "doc" sessions (relevant for testing); | file | diff | annotate |
| Thu, 05 Jul 2012 14:13:14 +0200 | wenzelm | more explicit directory structure Admin/Release/; | file | diff | annotate | base |