src/Tools/jEdit/lib/Tools/jedit
Thu, 12 Sep 2013 14:06:08 +0200 wenzelm tuned comments;
Thu, 12 Sep 2013 13:48:17 +0200 wenzelm clarified directory structure;
Thu, 12 Sep 2013 13:23:54 +0200 wenzelm maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
Sat, 07 Sep 2013 11:28:30 +0200 wenzelm odd workaround for scalac to enable nohup;
Sat, 07 Sep 2013 00:02:19 +0200 wenzelm build session before start of jedit;
Fri, 06 Sep 2013 21:28:07 +0200 wenzelm use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);
Fri, 06 Sep 2013 21:13:19 +0200 wenzelm warm start of Isabelle/jEdit from Isabelle/Scala;
Fri, 06 Sep 2013 17:26:58 +0200 wenzelm prefer Isabelle/Scala over bash;
Fri, 06 Sep 2013 17:20:48 +0200 wenzelm prefer Isabelle/Scala over bash;
Fri, 06 Sep 2013 17:01:49 +0200 wenzelm prefer warm start via JEdit_Main;
Thu, 05 Sep 2013 12:33:51 +0200 wenzelm updated to jedit_build-20130905 which is based on jedit-5.1.0;
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);
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);
Mon, 12 Aug 2013 17:17:49 +0200 wenzelm moved generic module to its proper place;
Mon, 12 Aug 2013 17:11:27 +0200 wenzelm manage hyperlinks via PIDE editor interface;
Mon, 12 Aug 2013 11:39:29 +0200 wenzelm tuned signature -- more abstract PIDE editor operations;
Fri, 09 Aug 2013 13:37:51 +0200 wenzelm separate Process_Indicator -- simplified/clarified version of org.gjt.sp.jedit.gui.AnimatedIcon;
Thu, 08 Aug 2013 14:24:21 +0200 wenzelm dockable window for Sledgehammer, based on asynchronous/parallel query operation;
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;
Fri, 02 Aug 2013 11:51:21 +0200 wenzelm dockable window for "find" dialog (GUI only);
Sat, 06 Jul 2013 21:50:14 +0200 wenzelm more dependencies;
Sat, 06 Jul 2013 21:19:38 +0200 wenzelm minimal jedit mode for Isabelle NEWS;
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);
Tue, 25 Jun 2013 16:55:10 +0200 wenzelm dockable window for Isabelle documentation;
Tue, 26 Mar 2013 11:26:13 +0100 wenzelm dockable window for timing information;
Sun, 24 Mar 2013 16:12:45 +0100 wenzelm basic support for xz files;
Thu, 31 Jan 2013 22:21:05 +0100 wenzelm some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
Wed, 09 Jan 2013 21:59:53 +0100 wenzelm refrain from writing to JEDIT_SETTINGS in BUILD_ONLY mode -- relevant for makedist;
Wed, 09 Jan 2013 14:01:50 +0100 wenzelm build browser more robustly before startup;
Fri, 04 Jan 2013 20:55:33 +0100 wenzelm actually install required copy of Highlight.jar;
Mon, 31 Dec 2012 16:41:51 +0100 wenzelm scala mode is already part of jedit-5.0.0;
Sat, 15 Dec 2012 14:45:08 +0100 wenzelm tuned command line;
Sat, 15 Dec 2012 13:14:55 +0100 wenzelm clarified build_dialog command line;
Sat, 15 Dec 2012 12:16:16 +0100 wenzelm fold handling within Pretty_Text_Area, based on formal document content, which is static here;
Mon, 10 Dec 2012 13:52:33 +0100 wenzelm generalized notion of active area, where sendback is just one application;
Sat, 08 Dec 2012 22:19:24 +0100 wenzelm basic monitor panel, using the powerful jfreechart library;
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;
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);
Thu, 06 Dec 2012 17:59:37 +0100 wenzelm more uniform default logic, using settings, options, args etc.;
Wed, 05 Dec 2012 18:09:38 +0100 wenzelm implicit build_dialog for Isabelle/jEdit;
Sat, 01 Dec 2012 19:51:43 +0100 wenzelm updated to jedit-5.0.0;
Fri, 30 Nov 2012 21:30:24 +0100 wenzelm renamed dockable "Prover Session" to "Theories";
Sun, 25 Nov 2012 21:35:29 +0100 wenzelm tuned signature;
Sun, 25 Nov 2012 19:55:42 +0100 wenzelm tuned file name;
Sat, 24 Nov 2012 14:50:19 +0100 wenzelm improved editing support for control styles;
Wed, 21 Nov 2012 10:51:12 +0100 immler dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
Sun, 18 Nov 2012 16:31:41 +0100 wenzelm proper jvmpath for windows;
Sat, 17 Nov 2012 21:01:11 +0100 wenzelm prefer absolute default $USER_HOME/Scratch.thy;
Sat, 20 Oct 2012 15:45:40 +0200 wenzelm avoid duplicate build of jars_fresh;
Sun, 07 Oct 2012 16:05:31 +0200 wenzelm detach tooltip as dockable window;
Thu, 04 Oct 2012 20:14:40 +0200 wenzelm separate module Pretty_Tooltip;
Thu, 27 Sep 2012 15:09:32 +0200 wenzelm removed obsolete Output1 dockable;
Wed, 26 Sep 2012 23:30:19 +0200 wenzelm some support for jEdit warmstart;
Wed, 26 Sep 2012 14:38:23 +0200 wenzelm more uniform graphview terminology;
Tue, 25 Sep 2012 22:36:06 +0200 wenzelm basic integration of graphview into document model;
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;
Fri, 21 Sep 2012 15:39:51 +0200 wenzelm some support for hovering and sendback area;
Mon, 17 Sep 2012 20:34:19 +0200 wenzelm renamed Text_Area_Painter to Rich_Text_Area;
Mon, 17 Sep 2012 17:49:11 +0200 wenzelm somewhat more general JEdit_Lib;
Sun, 16 Sep 2012 20:16:28 +0200 wenzelm alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea;
less more (0) -100 -60 tip