| Wed, 14 Mar 2012 00:34:56 +0100 | wenzelm | misc tuning; | changeset | files |
| Tue, 13 Mar 2012 23:45:34 +0100 | wenzelm | updated to jedit_build-20120313 with jedit-4.5.0; | changeset | files |
| Tue, 13 Mar 2012 23:33:35 +0100 | wenzelm | tuned context specifications and proofs; | changeset | files |