| Mon, 23 Sep 2013 09:48:06 +0200 | blanchet | provide a way to override MaSh's port from configuration file | changeset | files |
| Mon, 23 Sep 2013 09:08:07 +0200 | blanchet | new version of MaSh program, with proper shutdown | changeset | files |
| Sun, 22 Sep 2013 21:04:53 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 22 Sep 2013 19:50:48 +0200 | wenzelm | focus on default component according to jEdit window management; | changeset | files |
| Sun, 22 Sep 2013 18:42:18 +0200 | wenzelm | tuned; | changeset | files |
| 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 |