| Fri, 25 Jan 2013 15:28:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 25 Jan 2013 13:21:13 +0100 | wenzelm | minimal updated of jEdit/README.html, without any substantial reforms; | changeset | files |
| Fri, 25 Jan 2013 13:09:34 +0100 | wenzelm | clarified notion of Command.proper_range (according to Token.is_proper), especially relevant for Active.try_replace_command, to avoid loosing subsequent comments accidentally; | changeset | files |