| Sat, 26 Apr 2014 13:18:46 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 17 Apr 2014 10:58:10 +0200 | wenzelm | unused; | file | diff | annotate |
| Thu, 17 Apr 2014 10:54:10 +0200 | wenzelm | capitalize more carefully, e.g. relevant for option "ML_exception_trace"; | file | diff | annotate |
| Wed, 16 Apr 2014 12:32:36 +0200 | wenzelm | capitalize fully (like in Emacs); | file | diff | annotate |
| Wed, 16 Apr 2014 12:26:12 +0200 | wenzelm | clarified word case; | file | diff | annotate |
| Wed, 16 Apr 2014 11:52:26 +0200 | wenzelm | more specific support for sequence of words; | file | diff | annotate |
| Wed, 16 Apr 2014 09:38:40 +0200 | wenzelm | tuned signature -- separate module Word; | file | diff | annotate |