src/Tools/jEdit/src/actions.xml
2011-09-10 wenzelm 2011-09-10 explicit jEdit actions -- to enable key mappings, for example;
2011-08-17 wenzelm 2011-08-17 some convenience actions/shortcuts for control symbols;
2011-06-08 wenzelm 2011-06-08 simplified directory structure;