Tue, 04 Feb 2014 09:04:59 +0000 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
Wed, 18 Sep 2013 20:09:26 +0200 |
wenzelm |
added option "jedit_auto_load";
|
file |
diff |
annotate
|
Tue, 10 Sep 2013 11:46:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 30 Aug 2013 12:44:39 +0200 |
wenzelm |
allow short words for explicit completion;
|
file |
diff |
annotate
|
Thu, 29 Aug 2013 21:49:46 +0200 |
wenzelm |
added action isabelle.complete, using standard jEdit keyboard shortcut;
|
file |
diff |
annotate
|
Thu, 29 Aug 2013 15:53:56 +0200 |
wenzelm |
clarified SideKick parser name, which serves as quasi "mode" here;
|
file |
diff |
annotate
|
Thu, 29 Aug 2013 15:48:37 +0200 |
wenzelm |
explicit indication of outer syntax with no tokens;
|
file |
diff |
annotate
|
Thu, 29 Aug 2013 13:53:45 +0200 |
wenzelm |
more uniform configuration of editor modes and token markers;
|
file |
diff |
annotate
|
Thu, 29 Aug 2013 13:14:00 +0200 |
wenzelm |
syntax for isabelle-news with symbol completion;
|
file |
diff |
annotate
|
Thu, 29 Aug 2013 12:38:33 +0200 |
wenzelm |
maintain Completion_Popup.Text_Area as client property like Document_View;
|
file |
diff |
annotate
|
Thu, 29 Aug 2013 10:01:59 +0200 |
wenzelm |
more abstract Completion_Popup.Text_Area;
|
file |
diff |
annotate
|
Fri, 23 Aug 2013 11:41:17 +0200 |
wenzelm |
added action isabelle.reset-font-size;
|
file |
diff |
annotate
|
Tue, 13 Aug 2013 20:34:46 +0200 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 12:06:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 21:13:05 +0200 |
wenzelm |
home-grown mouse handling to pretend that the painted checkbox is actually a Swing component;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 19:59:14 +0200 |
wenzelm |
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
|
file |
diff |
annotate
|
Tue, 26 Mar 2013 11:26:13 +0100 |
wenzelm |
dockable window for timing information;
|
file |
diff |
annotate
|
Tue, 08 Jan 2013 18:24:52 +0100 |
wenzelm |
upper bound for font size;
|
file |
diff |
annotate
|
Sat, 08 Dec 2012 22:19:24 +0100 |
wenzelm |
basic monitor panel, using the powerful jfreechart library;
|
file |
diff |
annotate
|
Tue, 04 Dec 2012 11:06:51 +0100 |
wenzelm |
provide general insert_line_padding as convenience operation, e.g. for BeanShell macros;
|
file |
diff |
annotate
|
Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:40:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:35:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
| base
|