| Sun, 22 Sep 2013 18:36:22 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 22 Sep 2013 18:07:34 +0200 | wenzelm | completion popup for history text field; | changeset | files |
| Sun, 22 Sep 2013 14:30:34 +0200 | wenzelm | clarified location of GUI modules (which depend on Swing of JFX); | changeset | files |
| Sat, 21 Sep 2013 22:48:52 +0200 | wenzelm | repaired latex (cf. 7bb0cf27c243); | changeset | files |