| 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 |