src/Tools/jEdit/lib/Tools/jedit
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;
Mon, 10 Sep 2012 17:13:17 +0200 wenzelm more systematic JEdit_Options.make_component;
Mon, 10 Sep 2012 15:20:50 +0200 wenzelm manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
Fri, 24 Aug 2012 16:45:55 +0200 wenzelm support for direct hyperlinks, without the Hyperlinks plugin;
Tue, 14 Aug 2012 11:37:58 +0200 wenzelm added jedit option -d;
Mon, 30 Jul 2012 14:29:12 +0200 wenzelm discontinued unused isabelle jedit debugger;
Sat, 28 Jul 2012 13:18:34 +0200 wenzelm renamed isabelle-root minor mode;
Fri, 20 Jul 2012 16:45:38 +0200 wenzelm basic jEdit mode for Isabelle options;
Tue, 17 Jul 2012 22:34:29 +0200 wenzelm basic support for session ROOT files, with examples for FOL and ZF;
Tue, 29 May 2012 22:24:31 +0200 wenzelm separate syslog dockable -- discontinued tendency of sub-window management via tabs;
Tue, 29 May 2012 16:39:42 +0200 wenzelm separate README dockable, which allows to make it more prominent first and remove it later;
Thu, 24 May 2012 22:49:39 +0200 wenzelm include scala-compiler.jar in basic Isabelle/Scala environment, to make Isabelle/jEdit console work with scala-2.10.0-M3;
Wed, 02 May 2012 16:04:07 +0200 wenzelm accomodate scala-2.10.0-M3 with its extra jar;
Sun, 22 Apr 2012 16:32:26 +0200 wenzelm pretend jedit is up-to-date if this is not a repository -- avoid accidental build attempts after touching files etc.;
Mon, 26 Mar 2012 16:25:08 +0200 wenzelm more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
Sat, 24 Mar 2012 20:24:16 +0100 wenzelm ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
Sun, 18 Mar 2012 21:52:50 +0100 wenzelm less noisy Isabelle/Scala build process;
Sat, 17 Mar 2012 17:36:10 +0100 wenzelm include scala.xml as of scala-2.9.1.final/misc/scala-tool-support/jedit/modes/scala.xml -- seems to be missing in more recent distributions;
Tue, 21 Feb 2012 16:04:58 +0100 wenzelm separate module for text status overview;
Thu, 16 Feb 2012 14:14:58 +0100 wenzelm more uniform / portable representation of the idea of "copy_dir" (NB: cp -f dereferences symlinks on GNU/Linux, but does not on old-school Unixen including BSD/Mac OS X);
Mon, 28 Nov 2011 20:39:08 +0100 wenzelm renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;
less more (0) -60 tip