| Fri, 07 Nov 2014 16:36:55 +0100 | wenzelm | plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; | file | diff | annotate |
| Thu, 24 Jul 2014 15:54:56 +0200 | wenzelm | further distinction of Isabelle distribution: alert for identified release candidates; | file | diff | annotate |
| 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 |