| Mon, 12 Nov 2018 15:14:12 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 18 Jan 2018 21:41:30 +0100 | wenzelm | clarified access to antiquotation options; | file | diff | annotate |
| Tue, 09 Jan 2018 15:40:12 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 06 Dec 2017 18:59:33 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Sat, 16 Sep 2017 17:25:51 +0200 | wenzelm | more derived actions, according to jEdit/org/gjt/sp/jedit/gui/DockableWindowFactory.java; | file | diff | annotate |
| Fri, 12 Aug 2016 20:58:05 +0200 | wenzelm | active jEdit actions; | file | diff | annotate |
| Fri, 12 Aug 2016 17:53:55 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 11 Aug 2016 18:26:44 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Tue, 10 Nov 2015 22:20:46 +0100 | wenzelm | more thorough check_action, including completion; | file | diff | annotate |
| Tue, 10 Nov 2015 21:52:18 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 10 Nov 2015 20:10:17 +0100 | wenzelm | clarified modules; | file | diff | annotate |