| 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 |
| Tue, 13 Mar 2012 22:49:02 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 13 Mar 2012 21:17:37 +0100 | wenzelm | clarified command state -- markup within proper_range, excluding trailing whitespace; | changeset | files |