| Tue, 07 Mar 2017 14:33:14 +0100 |
wenzelm |
clarified modules: spell-checker in Pure;
|
file |
diff |
annotate
|
| Thu, 12 Jan 2017 11:17:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:26:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 14:34:53 +0100 |
wenzelm |
separate Buffer_Model vs. File_Model;
|
file |
diff |
annotate
|
| Fri, 06 Jan 2017 13:27:18 +0100 |
wenzelm |
manage buffer models as explicit global state;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 17:04:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 04 Dec 2016 13:40:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 02 Nov 2016 11:06:40 +0100 |
wenzelm |
more accurate start_line: avoid changing the original command (e.g. 'try', 'sledgehammer');
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 14:07:09 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 12:12:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2016 15:02:22 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 15 Jul 2016 22:17:09 +0200 |
wenzelm |
more structured edit, including indentation;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2016 20:14:16 +0200 |
wenzelm |
auto indentation of quasi commands;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2016 19:04:49 +0200 |
wenzelm |
clarified indentation: 'begin' is treated like a separate command without indent;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2016 11:51:05 +0200 |
wenzelm |
added action "isabelle.newline" (shortcut ENTER);
|
file |
diff |
annotate
|
| Mon, 11 Jul 2016 17:45:51 +0200 |
wenzelm |
support more modes;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2016 20:54:41 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2016 12:08:00 +0200 |
wenzelm |
basic setup for indentation;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2016 16:04:26 +0200 |
wenzelm |
added action "isabelle.select-entity";
|
file |
diff |
annotate
|
| Tue, 15 Mar 2016 22:01:26 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2016 18:18:40 +0100 |
wenzelm |
clarified symbol insertion, depending on buffer encoding;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2015 15:20:06 +0100 |
wenzelm |
more thorough update request: semantic state of command may have changed elsewise;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 19:27:06 +0100 |
wenzelm |
more thorough update of options;
|
file |
diff |
annotate
|
| Mon, 19 Oct 2015 16:37:45 +0200 |
wenzelm |
added action "isabelle-emph";
|
file |
diff |
annotate
|
| Mon, 21 Sep 2015 16:15:50 +0200 |
wenzelm |
added action "isabelle-update-state";
|
file |
diff |
annotate
|
| Mon, 21 Sep 2015 14:56:55 +0200 |
wenzelm |
separate panel for proof state output;
|
file |
diff |
annotate
|
| Tue, 25 Aug 2015 16:49:14 +0200 |
wenzelm |
avoid deprecated PluginOptions with its unbounded window size;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 14:21:00 +0200 |
wenzelm |
GUI actions depend on active debugger;
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 20:22:49 +0200 |
wenzelm |
set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 17:49:36 +0200 |
wenzelm |
added action to toggle breakpoints (on editor side);
|
file |
diff |
annotate
|
| Wed, 05 Aug 2015 16:13:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 17 Jul 2015 21:40:47 +0200 |
wenzelm |
skeleton for interactive debugger;
|
file |
diff |
annotate
|
| Fri, 08 May 2015 10:19:44 +0200 |
wenzelm |
more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties);
|
file |
diff |
annotate
|
| Wed, 15 Apr 2015 13:55:01 +0200 |
wenzelm |
GUI controls for ML_statistics, for more digestible protocol dump;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 19:25:20 +0100 |
wenzelm |
clarified token marker / syntax for mode vs. buffer;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 17:51:07 +0100 |
wenzelm |
Sidekick syntax is derived from buffer (and its mode), instead of parser name;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 17:43:23 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 28 Oct 2014 16:27:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2014 15:21:44 +0200 |
wenzelm |
support for structure matching;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 18:14:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 15:05:26 +0200 |
wenzelm |
maintain Document_Model.bibtex_entries;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2014 12:19:26 +0200 |
wenzelm |
support for bibtex token markup;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2014 12:42:38 +0200 |
wenzelm |
restrict edit_command (for sendback) to current node -- no attempt to goto target buffer first, which might not be loaded;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 23:08:22 +0200 |
wenzelm |
added action "isabelle.options" (despite problems with initial window size);
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Sat, 28 Jun 2014 17:54:34 +0200 |
wenzelm |
removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);
|
file |
diff |
annotate
|
| Tue, 06 May 2014 16:57:17 +0200 |
wenzelm |
renamed "Find" to "Query", with more general operations;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 12:34:16 +0200 |
wenzelm |
clarified before_caret_range: prevent continuation on next line;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 11:26:17 +0200 |
wenzelm |
explicit menu action to complete word;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 23:26:52 +0200 |
wenzelm |
proper signature for dynamic BeanShell action;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 23:13:10 +0200 |
wenzelm |
added context menu for spell checker actions;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 22:51:23 +0200 |
wenzelm |
full repaint after dictionary update;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 21:51:41 +0200 |
wenzelm |
some actions to maintain spell-checker dictionary;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 21:08:00 +0200 |
wenzelm |
clarified Version.syntax -- avoid guessing initial situation;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 20:53:35 +0200 |
wenzelm |
more abstract Prover.Syntax, as proposed by Carst Tankink;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 16:11:00 +0100 |
wenzelm |
separate tokenization and language context for SML: no symbols, no antiquotes;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 15:15:33 +0100 |
wenzelm |
separate "sml" mode, suppress old "ml" mode altogether;
|
file |
diff |
annotate
|