src/Tools/jEdit/src/isabelle.scala
Tue, 15 Apr 2014 19:27:50 +0200 wenzelm prefer direct caret_range for update_dictionary actions, which usually happen outside the flow of editing;
Tue, 15 Apr 2014 12:34:16 +0200 wenzelm clarified before_caret_range: prevent continuation on next line;
Tue, 15 Apr 2014 11:26:17 +0200 wenzelm explicit menu action to complete word;
Mon, 14 Apr 2014 23:26:52 +0200 wenzelm proper signature for dynamic BeanShell action;
Mon, 14 Apr 2014 23:13:10 +0200 wenzelm added context menu for spell checker actions;
Mon, 14 Apr 2014 22:51:23 +0200 wenzelm full repaint after dictionary update;
Mon, 14 Apr 2014 21:51:41 +0200 wenzelm some actions to maintain spell-checker dictionary;
Thu, 03 Apr 2014 21:08:00 +0200 wenzelm clarified Version.syntax -- avoid guessing initial situation;
Thu, 03 Apr 2014 20:53:35 +0200 wenzelm more abstract Prover.Syntax, as proposed by Carst Tankink;
Tue, 25 Mar 2014 16:11:00 +0100 wenzelm separate tokenization and language context for SML: no symbols, no antiquotes;
Tue, 25 Mar 2014 15:15:33 +0100 wenzelm separate "sml" mode, suppress old "ml" mode altogether;
Mon, 17 Mar 2014 10:45:29 +0100 wenzelm allow implicit semantic completion, notably after delay that exceeds usual round-trip time;
Sat, 01 Mar 2014 19:55:01 +0100 wenzelm clarified module structure;
Sat, 01 Mar 2014 19:39:27 +0100 wenzelm tuned signature -- separate module Font_Info;
Sat, 01 Mar 2014 18:33:49 +0100 wenzelm tuned;
Sat, 01 Mar 2014 16:34:30 +0100 wenzelm font size change with delay, to avoid GUI lagging behind user input;
Tue, 25 Feb 2014 20:57:57 +0100 wenzelm tuned signature;
Sat, 22 Feb 2014 15:07:33 +0100 wenzelm refined language context: antiquotes;
Thu, 20 Feb 2014 13:23:49 +0100 wenzelm default completion context via outer syntax;
Tue, 18 Feb 2014 20:20:42 +0100 wenzelm more uniform treatment of dockables and their standard actions;
Tue, 18 Feb 2014 19:00:13 +0100 wenzelm standardized action and panel names;
Sat, 15 Feb 2014 16:27:58 +0100 wenzelm isabelle-ml mode with separate token marker;
Tue, 04 Feb 2014 09:04:59 +0000 Lars Hupel interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
Thu, 21 Nov 2013 21:55:29 +0100 wenzelm 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;
Tue, 24 Sep 2013 16:06:12 +0200 wenzelm 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);
Wed, 18 Sep 2013 20:09:26 +0200 wenzelm added option "jedit_auto_load";
Tue, 10 Sep 2013 11:46:51 +0200 wenzelm tuned signature;
Fri, 30 Aug 2013 12:44:39 +0200 wenzelm allow short words for explicit completion;
Thu, 29 Aug 2013 21:49:46 +0200 wenzelm added action isabelle.complete, using standard jEdit keyboard shortcut;
Thu, 29 Aug 2013 15:53:56 +0200 wenzelm clarified SideKick parser name, which serves as quasi "mode" here;
less more (0) -30 tip