Fri, 06 Sep 2013 17:20:48 +0200 |
wenzelm |
prefer Isabelle/Scala over bash;
|
file |
diff |
annotate
|
Fri, 06 Sep 2013 17:01:49 +0200 |
wenzelm |
prefer warm start via JEdit_Main;
|
file |
diff |
annotate
|
Thu, 05 Sep 2013 12:33:51 +0200 |
wenzelm |
updated to jedit_build-20130905 which is based on jedit-5.1.0;
|
file |
diff |
annotate
|
Wed, 28 Aug 2013 15:14:58 +0200 |
wenzelm |
more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X);
|
file |
diff |
annotate
|
Tue, 13 Aug 2013 22:25:24 +0200 |
wenzelm |
Completion popup based on javax.swing.PopupFactory, which has better cross-platform chances than JWindow (cf. org/gjt/jedit/gui/CompletionPopup.java);
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 17:17:49 +0200 |
wenzelm |
moved generic module to its proper place;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 17:11:27 +0200 |
wenzelm |
manage hyperlinks via PIDE editor interface;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 11:39:29 +0200 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
file |
diff |
annotate
|
Fri, 09 Aug 2013 13:37:51 +0200 |
wenzelm |
separate Process_Indicator -- simplified/clarified version of org.gjt.sp.jedit.gui.AnimatedIcon;
|
file |
diff |
annotate
|
Thu, 08 Aug 2013 14:24:21 +0200 |
wenzelm |
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
|
file |
diff |
annotate
|
Mon, 05 Aug 2013 17:14:02 +0200 |
wenzelm |
slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay;
|
file |
diff |
annotate
|
Fri, 02 Aug 2013 11:51:21 +0200 |
wenzelm |
dockable window for "find" dialog (GUI only);
|
file |
diff |
annotate
|
Sat, 06 Jul 2013 21:50:14 +0200 |
wenzelm |
more dependencies;
|
file |
diff |
annotate
|
Sat, 06 Jul 2013 21:19:38 +0200 |
wenzelm |
minimal jedit mode for Isabelle NEWS;
|
file |
diff |
annotate
|
Fri, 28 Jun 2013 14:05:12 +0200 |
wenzelm |
support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
|
file |
diff |
annotate
|
Tue, 25 Jun 2013 16:55:10 +0200 |
wenzelm |
dockable window for Isabelle documentation;
|
file |
diff |
annotate
|
Tue, 26 Mar 2013 11:26:13 +0100 |
wenzelm |
dockable window for timing information;
|
file |
diff |
annotate
|
Sun, 24 Mar 2013 16:12:45 +0100 |
wenzelm |
basic support for xz files;
|
file |
diff |
annotate
|
Thu, 31 Jan 2013 22:21:05 +0100 |
wenzelm |
some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
|
file |
diff |
annotate
|
Wed, 09 Jan 2013 21:59:53 +0100 |
wenzelm |
refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;
|
file |
diff |
annotate
|
Wed, 09 Jan 2013 14:01:50 +0100 |
wenzelm |
build browser more robustly before startup;
|
file |
diff |
annotate
|
Fri, 04 Jan 2013 20:55:33 +0100 |
wenzelm |
actually install required copy of Highlight.jar;
|
file |
diff |
annotate
|
Mon, 31 Dec 2012 16:41:51 +0100 |
wenzelm |
scala mode is already part of jedit-5.0.0;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 14:45:08 +0100 |
wenzelm |
tuned command line;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 13:14:55 +0100 |
wenzelm |
clarified build_dialog command line;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 12:16:16 +0100 |
wenzelm |
fold handling within Pretty_Text_Area, based on formal document content, which is static here;
|
file |
diff |
annotate
|
Mon, 10 Dec 2012 13:52:33 +0100 |
wenzelm |
generalized notion of active area, where sendback is just one application;
|
file |
diff |
annotate
|
Sat, 08 Dec 2012 22:19:24 +0100 |
wenzelm |
basic monitor panel, using the powerful jfreechart library;
|
file |
diff |
annotate
|
Fri, 07 Dec 2012 14:30:00 +0100 |
wenzelm |
more rigorous "build only" mode: avoid build dialog of logic image and its potential need for GUI display;
|
file |
diff |
annotate
|
Thu, 06 Dec 2012 21:16:46 +0100 |
wenzelm |
clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL);
|
file |
diff |
annotate
|
Thu, 06 Dec 2012 17:59:37 +0100 |
wenzelm |
more uniform default logic, using settings, options, args etc.;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 18:09:38 +0100 |
wenzelm |
implicit build_dialog for Isabelle/jEdit;
|
file |
diff |
annotate
|
Sat, 01 Dec 2012 19:51:43 +0100 |
wenzelm |
updated to jedit-5.0.0;
|
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:35:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 19:55:42 +0100 |
wenzelm |
tuned file name;
|
file |
diff |
annotate
|
Sat, 24 Nov 2012 14:50:19 +0100 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
Wed, 21 Nov 2012 10:51:12 +0100 |
immler |
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
|
file |
diff |
annotate
|
Sun, 18 Nov 2012 16:31:41 +0100 |
wenzelm |
proper jvmpath for windows;
|
file |
diff |
annotate
|
Sat, 17 Nov 2012 21:01:11 +0100 |
wenzelm |
prefer absolute default $USER_HOME/Scratch.thy;
|
file |
diff |
annotate
|
Sat, 20 Oct 2012 15:45:40 +0200 |
wenzelm |
avoid duplicate build of jars_fresh;
|
file |
diff |
annotate
|
Sun, 07 Oct 2012 16:05:31 +0200 |
wenzelm |
detach tooltip as dockable window;
|
file |
diff |
annotate
|
Thu, 04 Oct 2012 20:14:40 +0200 |
wenzelm |
separate module Pretty_Tooltip;
|
file |
diff |
annotate
|
Thu, 27 Sep 2012 15:09:32 +0200 |
wenzelm |
removed obsolete Output1 dockable;
|
file |
diff |
annotate
|
Wed, 26 Sep 2012 23:30:19 +0200 |
wenzelm |
some support for jEdit warmstart;
|
file |
diff |
annotate
|
Wed, 26 Sep 2012 14:38:23 +0200 |
wenzelm |
more uniform graphview terminology;
|
file |
diff |
annotate
|
Tue, 25 Sep 2012 22:36:06 +0200 |
wenzelm |
basic integration of graphview into document model;
|
file |
diff |
annotate
|
Fri, 21 Sep 2012 17:28:53 +0200 |
wenzelm |
renamed Output to Output1 and Output2 to Output, and thus make the new version the default;
|
file |
diff |
annotate
|
Fri, 21 Sep 2012 15:39:51 +0200 |
wenzelm |
some support for hovering and sendback area;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 20:34:19 +0200 |
wenzelm |
renamed Text_Area_Painter to Rich_Text_Area;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 17:49:11 +0200 |
wenzelm |
somewhat more general JEdit_Lib;
|
file |
diff |
annotate
|
Sun, 16 Sep 2012 20:16:28 +0200 |
wenzelm |
alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 17:13:17 +0200 |
wenzelm |
more systematic JEdit_Options.make_component;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 15:20:50 +0200 |
wenzelm |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
file |
diff |
annotate
|
Fri, 24 Aug 2012 16:45:55 +0200 |
wenzelm |
support for direct hyperlinks, without the Hyperlinks plugin;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 11:37:58 +0200 |
wenzelm |
added jedit option -d;
|
file |
diff |
annotate
|
Mon, 30 Jul 2012 14:29:12 +0200 |
wenzelm |
discontinued unused isabelle jedit debugger;
|
file |
diff |
annotate
|
Sat, 28 Jul 2012 13:18:34 +0200 |
wenzelm |
renamed isabelle-root minor mode;
|
file |
diff |
annotate
|
Fri, 20 Jul 2012 16:45:38 +0200 |
wenzelm |
basic jEdit mode for Isabelle options;
|
file |
diff |
annotate
|
Tue, 17 Jul 2012 22:34:29 +0200 |
wenzelm |
basic support for session ROOT files, with examples for FOL and ZF;
|
file |
diff |
annotate
|