| 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 |
| Tue, 24 Sep 2013 19:53:05 +0200 | wenzelm | simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet; | file | diff | annotate |