Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | file | diff | annotate |
Sun, 12 Apr 2015 13:10:04 +0200 | wenzelm | less ambitious collection of quasi-generic PIDE modules; | file | diff | annotate |
Sat, 29 Nov 2014 14:43:10 +0100 | wenzelm | encode text with control symbols; | file | diff | annotate |
Sat, 26 Apr 2014 14:00:49 +0200 | wenzelm | clarified PIDE modules; | file | diff | annotate |
Sat, 26 Apr 2014 13:32:28 +0200 | wenzelm | tuned imports; | file | diff | annotate |
Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Sat, 09 Nov 2013 11:41:32 +0100 | wenzelm | adjust modules for Admin/build jars_test; | file | diff | annotate |