| Wed, 05 Nov 2014 21:59:21 +0100 | wenzelm | more uniform header_keywords in ML/Scala; | file | diff | annotate |
| Wed, 05 Nov 2014 17:37:25 +0100 | wenzelm | clarified representation of type Keywords; | file | diff | annotate |
| Wed, 05 Nov 2014 16:57:12 +0100 | wenzelm | explicit type Keyword.Keywords; | file | diff | annotate |
| Wed, 05 Nov 2014 15:32:11 +0100 | wenzelm | clarified minor/major lexicon (like ML version); | file | diff | annotate |
| Sun, 02 Nov 2014 15:27:37 +0100 | wenzelm | uniform heading commands work in any context, even in theory header; | file | diff | annotate |
| Fri, 31 Oct 2014 21:48:40 +0100 | wenzelm | discontinued obsolete control command category; | file | diff | annotate |