| Sun, 08 Jan 2017 10:56:33 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 07 Jan 2017 14:34:53 +0100 | wenzelm | separate Buffer_Model vs. File_Model; | file | diff | annotate |
| Fri, 06 Jan 2017 13:27:18 +0100 | wenzelm | manage buffer models as explicit global state; | file | diff | annotate |
| Tue, 20 Dec 2016 21:35:56 +0100 | wenzelm | clarified module name; | file | diff | annotate |
| Sat, 09 Jan 2016 22:00:22 +0100 | wenzelm | tuned -- according to ML version; | file | diff | annotate |
| Thu, 03 Sep 2015 13:56:32 +0200 | wenzelm | clean name as in ML Completion.make; | file | diff | annotate |
| Thu, 03 Sep 2015 11:39:27 +0200 | wenzelm | use alphabetic order before history order; | file | diff | annotate |
| Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | file | diff | annotate |
| Thu, 08 Jan 2015 20:56:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 29 Nov 2014 14:42:32 +0100 | wenzelm | proper HTML.encode; | file | diff | annotate |
| Tue, 21 Oct 2014 13:56:42 +0200 | wenzelm | tuned rendering; | file | diff | annotate |
| Sat, 18 Oct 2014 11:19:34 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 18 Oct 2014 10:50:40 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 18 Oct 2014 10:32:19 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 16 Oct 2014 21:24:42 +0200 | wenzelm | more explicit Line_Nesting; | file | diff | annotate |
| Thu, 16 Oct 2014 12:09:57 +0200 | wenzelm | support line context with depth; | file | diff | annotate |
| Mon, 06 Oct 2014 18:11:16 +0200 | wenzelm | more defensive error handling -- token marker must not crash; | file | diff | annotate |
| Mon, 06 Oct 2014 16:54:35 +0200 | wenzelm | completion for bibtex entries; | file | diff | annotate |
| Mon, 06 Oct 2014 10:24:51 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 05 Oct 2014 18:30:43 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 05 Oct 2014 18:21:39 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 05 Oct 2014 18:14:26 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 05 Oct 2014 17:58:36 +0200 | wenzelm | citation tooltip/hyperlink based on open buffers with .bib files; | file | diff | annotate |