tuned signature;

more thorough jEdit.propertiesChanged(), which includes KeymapManager.reload() and jEdit.initKeyBindings();

avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>";

trim context of persistent data;

trim context of persistent data;

trim context of persistent data;

clarified apply_transaction: always continue without presentation context;

more tight presentation context: avoid storing full Toplevel.state;

tuned;

more informative theories_trace;

merged

tuned signature (again);

trim context of persistent data;

trim context of persistent data;

proper file name;

trim context of persistent data; tuned signature;

clarified data operations, with trim_context and transfer;

tuned;

trim context of persistent data; tuned;

trim context of persistent data;

removed unused material;

trim context of persistent data;

trim context of persistent data; no need to trim context for del operations;

tuned;

tuned whitespace;

more operations;

optional trace of created theory values;

more operations;