Sun, 20 May 2018 11:57:17 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
Tue, 27 Jun 2017 21:56:56 +0200 | wenzelm | clarified defaults; | file | diff | annotate |
Tue, 27 Jun 2017 21:36:58 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 12 Apr 2015 13:10:04 +0200 | wenzelm | less ambitious collection of quasi-generic PIDE modules; | file | diff | annotate |
Tue, 01 Apr 2014 23:04:22 +0200 | wenzelm | tuned for-comprehensions -- less structure mapping; | file | diff | annotate |
Tue, 24 Sep 2013 20:41:28 +0200 | wenzelm | more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material); | file | diff | annotate |
Sun, 22 Sep 2013 14:30:34 +0200 | wenzelm | clarified location of GUI modules (which depend on Swing of JFX); | file | diff | annotate | base |