| Mon, 01 Dec 2014 15:21:49 +0100 | wenzelm | more merge operations; | file | diff | annotate |
| Fri, 07 Nov 2014 23:35:13 +0100 | wenzelm | tuned outline; | file | diff | annotate |
| 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 |