| Wed, 28 Aug 2013 10:35:12 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 28 Aug 2013 09:36:05 +0200 | wenzelm | dismiss popups more uniformly; | changeset | files |
| Wed, 28 Aug 2013 09:12:50 +0200 | wenzelm | more uniform check (see JEdit_Lib.propagate_key); | changeset | files |
| Wed, 28 Aug 2013 09:08:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Aug 2013 00:18:50 +0200 | wenzelm | more symbols; | changeset | files |
| Tue, 27 Aug 2013 23:54:23 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 27 Aug 2013 23:21:12 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 27 Aug 2013 22:40:39 +0200 | wenzelm | tuned proofs; | changeset | files |