| Wed, 05 Nov 2014 21:59:21 +0100 | wenzelm | more uniform header_keywords in ML/Scala; | file | diff | annotate |
| Wed, 05 Nov 2014 20:20:57 +0100 | wenzelm | explicit type Keyword.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 |
| Sat, 01 Nov 2014 15:01:41 +0100 | wenzelm | command-line terminator ";" is no longer accepted; | file | diff | annotate |