src/Tools/jEdit/src/isabelle.scala
2017-01-07 wenzelm 2017-01-07 separate Buffer_Model vs. File_Model; misc tuning and clarification;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2016-12-23 wenzelm 2016-12-23 tuned;
2016-12-04 wenzelm 2016-12-04 tuned;
2016-11-02 wenzelm 2016-11-02 more accurate start_line: avoid changing the original command (e.g. 'try', 'sledgehammer');
2016-09-14 wenzelm 2016-09-14 more robust;
2016-09-14 wenzelm 2016-09-14 tuned;
2016-09-06 wenzelm 2016-09-06 tuned;
2016-07-15 wenzelm 2016-07-15 more structured edit, including indentation;
2016-07-13 wenzelm 2016-07-13 auto indentation of quasi commands;
2016-07-13 wenzelm 2016-07-13 clarified indentation: 'begin' is treated like a separate command without indent;
2016-07-12 wenzelm 2016-07-12 added action "isabelle.newline" (shortcut ENTER);
2016-07-11 wenzelm 2016-07-11 support more modes;
2016-07-07 wenzelm 2016-07-07 clarified modules;
2016-07-07 wenzelm 2016-07-07 basic setup for indentation;
2016-06-06 wenzelm 2016-06-06 added action "isabelle.select-entity";
2016-03-15 wenzelm 2016-03-15 clarified modules;
2016-01-08 wenzelm 2016-01-08 clarified symbol insertion, depending on buffer encoding;
2015-12-07 wenzelm 2015-12-07 more thorough update request: semantic state of command may have changed elsewise;
2015-11-21 wenzelm 2015-11-21 more thorough update of options;
2015-10-19 wenzelm 2015-10-19 added action "isabelle-emph"; changed shortcut of action "isabelle-reset";
2015-09-21 wenzelm 2015-09-21 added action "isabelle-update-state"; tuned signature;
2015-09-21 wenzelm 2015-09-21 separate panel for proof state output;
2015-08-25 wenzelm 2015-08-25 avoid deprecated PluginOptions with its unbounded window size;
2015-08-11 wenzelm 2015-08-11 GUI actions depend on active debugger;
2015-08-10 wenzelm 2015-08-10 set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
2015-08-10 wenzelm 2015-08-10 added action to toggle breakpoints (on editor side);
2015-08-05 wenzelm 2015-08-05 tuned signature;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;
2015-05-08 wenzelm 2015-05-08 more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties); clarified Isabelle.buffer_token_marker;
2015-04-15 wenzelm 2015-04-15 GUI controls for ML_statistics, for more digestible protocol dump;
2014-12-02 wenzelm 2014-12-02 node-specific syntax, with base_syntax as default; clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;
2014-12-01 wenzelm 2014-12-01 clarified token marker / syntax for mode vs. buffer;
2014-12-01 wenzelm 2014-12-01 Sidekick syntax is derived from buffer (and its mode), instead of parser name;
2014-12-01 wenzelm 2014-12-01 tuned signature;
2014-10-28 wenzelm 2014-10-28 tuned signature;
2014-10-21 wenzelm 2014-10-21 support for structure matching; misc tuning;
2014-10-05 wenzelm 2014-10-05 clarified modules;
2014-10-05 wenzelm 2014-10-05 maintain Document_Model.bibtex_entries; clarified Chunk predicates;
2014-10-04 wenzelm 2014-10-04 support for bibtex token markup; more robust ML token marker: no_context; tuned signature;
2014-08-05 wenzelm 2014-08-05 restrict edit_command (for sendback) to current node -- no attempt to goto target buffer first, which might not be loaded;
2014-07-23 wenzelm 2014-07-23 added action "isabelle.options" (despite problems with initial window size);
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-06-28 wenzelm 2014-06-28 removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);
2014-05-06 wenzelm 2014-05-06 renamed "Find" to "Query", with more general operations;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-15 wenzelm 2014-04-15 prefer direct caret_range for update_dictionary actions, which usually happen outside the flow of editing; more robust point_range; tuned;
2014-04-15 wenzelm 2014-04-15 clarified before_caret_range: prevent continuation on next line; more robust jedit_text_areas in unclear situations of object initialization;
2014-04-15 wenzelm 2014-04-15 explicit menu action to complete word;
2014-04-14 wenzelm 2014-04-14 proper signature for dynamic BeanShell action;
2014-04-14 wenzelm 2014-04-14 added context menu for spell checker actions;
2014-04-14 wenzelm 2014-04-14 full repaint after dictionary update;
2014-04-14 wenzelm 2014-04-14 some actions to maintain spell-checker dictionary;
2014-04-03 wenzelm 2014-04-03 clarified Version.syntax -- avoid guessing initial situation;
2014-04-03 wenzelm 2014-04-03 more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-03-25 wenzelm 2014-03-25 separate tokenization and language context for SML: no symbols, no antiquotes;
2014-03-25 wenzelm 2014-03-25 separate "sml" mode, suppress old "ml" mode altogether;
2014-03-17 wenzelm 2014-03-17 allow implicit semantic completion, notably after delay that exceeds usual round-trip time; clarified isabelle.completion action: already open popup is re-opened and thus updated;
2014-03-01 wenzelm 2014-03-01 clarified module structure;
2014-03-01 wenzelm 2014-03-01 tuned signature -- separate module Font_Info;