| Tue, 24 Sep 2013 21:27:45 +0200 | wenzelm | merged | changeset | files |
| Tue, 24 Sep 2013 21:23:40 +0200 | wenzelm | tuned proofs; | changeset | files |
| 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); | changeset | files |
| Tue, 24 Sep 2013 20:24:14 +0200 | wenzelm | NEWS; | changeset | files |
| Tue, 24 Sep 2013 19:57:44 +0200 | wenzelm | clarified font; | changeset | files |
| 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; | changeset | files |