| Sat, 17 Oct 2015 21:15:10 +0200 | wenzelm | added 'paragraph', 'subparagraph'; | file | diff | annotate |
| Mon, 17 Aug 2015 19:34:15 +0200 | wenzelm | support for ML files with/without debugger information; | file | diff | annotate |
| Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | file | diff | annotate |