Fri, 11 Apr 2014 11:52:28 +0200 | wenzelm | explicit 'document_files' in session ROOT specifications; | file | diff | annotate |
Thu, 10 Apr 2014 18:13:44 +0200 | wenzelm | removed obsolete doc_dump option (see also 892061142ba6); | file | diff | annotate |
Mon, 31 Mar 2014 10:28:08 +0200 | wenzelm | support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject; | file | diff | annotate |
Tue, 18 Mar 2014 18:09:31 +0100 | wenzelm | clarified module arrangement; | file | diff | annotate | base |