src/Tools/jEdit/src/isabelle.scala
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;
2014-03-01 wenzelm 2014-03-01 tuned;
2014-03-01 wenzelm 2014-03-01 font size change with delay, to avoid GUI lagging behind user input;
2014-02-25 wenzelm 2014-02-25 tuned signature;
2014-02-22 wenzelm 2014-02-22 refined language context: antiquotes; support default completions, with move of caret position; tuned signature;
2014-02-20 wenzelm 2014-02-20 default completion context via outer syntax; no symbol completion for ML files; tuned;
2014-02-18 wenzelm 2014-02-18 more uniform treatment of dockables and their standard actions;
2014-02-18 wenzelm 2014-02-18 standardized action and panel names;
2014-02-15 wenzelm 2014-02-15 isabelle-ml mode with separate token marker; clarified ML_Lex.gap_start: end-of-input counts as single newline;
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-11-21 wenzelm 2013-11-21 back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command; resolve sendback wrt. static command id, to allow active area even after exec_id is removed (cf. prune_delay);
2013-09-24 wenzelm 2013-09-24 clarified command spans (again, see also 03a2dc9e0624): restrict to proper range to allow Isabelle.command_edit adding material monotonically without destroying the command (e.g. relevant for sendback from sledgehammer); simplified command padding: always newline, despite lack of indentation;
2013-09-18 wenzelm 2013-09-18 added option "jedit_auto_load"; allow in-place change of option "editor_continuous_checking";
2013-09-10 wenzelm 2013-09-10 tuned signature;
2013-08-30 wenzelm 2013-08-30 allow short words for explicit completion;
2013-08-29 wenzelm 2013-08-29 added action isabelle.complete, using standard jEdit keyboard shortcut;
2013-08-29 wenzelm 2013-08-29 clarified SideKick parser name, which serves as quasi "mode" here;
2013-08-29 wenzelm 2013-08-29 explicit indication of outer syntax with no tokens; uniform Isabelle.markers, based on syntax specification -- no tokens for NEWS;
2013-08-29 wenzelm 2013-08-29 more uniform configuration of editor modes and token markers;
2013-08-29 wenzelm 2013-08-29 syntax for isabelle-news with symbol completion;
2013-08-29 wenzelm 2013-08-29 maintain Completion_Popup.Text_Area as client property like Document_View; global Completion_Popup.Text_Area init/exit like SideKickPlugin; eliminated old SideKick completion -- cover all Isabelle modes uniformly; dynamic lookup of Isabelle.mode_syntax -- NB: buffer mode might be undefined in intermediate stages;
2013-08-29 wenzelm 2013-08-29 more abstract Completion_Popup.Text_Area; more uniform font size;
2013-08-23 wenzelm 2013-08-23 added action isabelle.reset-font-size;
2013-08-13 wenzelm 2013-08-13 discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end; document antiquotations: renamed term style "isub" to "sub";
2013-08-12 wenzelm 2013-08-12 tuned signature;
2013-07-31 wenzelm 2013-07-31 home-grown mouse handling to pretend that the painted checkbox is actually a Swing component; tuned signature;
2013-07-31 wenzelm 2013-07-31 actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable); just one module for Isabelle/jEdit actions;
2013-03-26 wenzelm 2013-03-26 dockable window for timing information;
2013-01-08 wenzelm 2013-01-08 upper bound for font size;
2012-12-08 wenzelm 2012-12-08 basic monitor panel, using the powerful jfreechart library; sorted Isabelle menu entries -- this is mainly a catalog;
2012-12-04 wenzelm 2012-12-04 provide general insert_line_padding as convenience operation, e.g. for BeanShell macros;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature;