| 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 |
| Fri, 31 Oct 2014 21:48:40 +0100 | wenzelm | discontinued obsolete control command category; | file | diff | annotate |
| Tue, 21 Oct 2014 20:44:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Oct 2014 15:21:44 +0200 | wenzelm | support for structure matching; | file | diff | annotate |
| Tue, 21 Oct 2014 13:56:42 +0200 | wenzelm | tuned rendering; | file | diff | annotate |
| Tue, 21 Oct 2014 10:53:24 +0200 | wenzelm | clarified tree root; | file | diff | annotate |
| Sun, 19 Oct 2014 11:20:03 +0200 | wenzelm | tuned signature and modules; | file | diff | annotate |
| Sat, 18 Oct 2014 22:41:36 +0200 | wenzelm | more folds; | file | diff | annotate |