| Mon, 14 Sep 2015 17:39:29 +0200 | wenzelm | replacement character for spaces; | changeset | files |
| Mon, 14 Sep 2015 16:44:09 +0200 | wenzelm | single-instance application, even on Linux; | changeset | files |
| Mon, 14 Sep 2015 16:08:27 +0200 | wenzelm | single-instance application for Linux; | changeset | files |
| Mon, 14 Sep 2015 16:06:55 +0200 | wenzelm | tuned message; | changeset | files |
| Mon, 14 Sep 2015 16:06:32 +0200 | wenzelm | added isabelle jedit_client; | changeset | files |
| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | changeset | files |
| Sun, 13 Sep 2015 22:25:21 +0200 | wenzelm | tuned message; | changeset | files |
| Sun, 13 Sep 2015 21:06:58 +0200 | wenzelm | tuned proofs; | changeset | files |