| 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 |
| Tue, 17 Mar 2015 16:17:49 +0100 | wenzelm | tight span for theory header, which is relevant for error positions (including semantic completion); | file | diff | annotate |
| Sun, 15 Mar 2015 20:35:47 +0100 | wenzelm | clarified span position; | file | diff | annotate |
| Sat, 14 Mar 2015 19:51:36 +0100 | wenzelm | clarified positions of theory imports; | file | diff | annotate |
| Sat, 14 Mar 2015 18:18:40 +0100 | wenzelm | misc tuning -- more uniform ML vs. Scala; | file | diff | annotate |