| Mon, 08 Mar 2021 09:11:09 +0100 |
\----- start update Isabelle2020 --> Isabelle2021
|
file | diff | annotate |
| Wed, 23 Sep 2020 15:18:07 +0200 |
\----- start update Isabelle2019 --> Isabelle2020
|
file | diff | annotate |
| Tue, 03 Sep 2019 16:10:31 +0200 |
\----- start update Isabelle2018 --> Isabelle2019
|
file | diff | annotate |
| Wed, 22 Aug 2018 14:44:15 +0200 |
\----- start update Isabelle2017 --> Isabelle2018
|
file | diff | annotate |
| Fri, 19 Jan 2018 12:49:17 +0100 |
\----- start update Isabelle2015 --> Isabelle2017
|
file | diff | annotate |
| Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
| Wed, 23 Jul 2014 15:11:42 +0200 |
more workarounds for scalac;
|
file | diff | annotate |
| Wed, 18 Jun 2014 21:23:10 +0200 |
tuned;
|
file | diff | annotate |
| Sun, 25 May 2014 17:08:46 +0200 |
tuned;
|
file | diff | annotate |
| Wed, 21 May 2014 12:03:46 +0200 |
incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time;
|
file | diff | annotate |
| Thu, 08 May 2014 00:14:06 +0200 |
some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
|
file | diff | annotate |
| Tue, 06 May 2014 16:57:17 +0200 |
renamed "Find" to "Query", with more general operations;
|
file | diff | annotate |
| Sun, 27 Apr 2014 19:32:55 +0200 |
modernized Isabelle classpath for graphview;
|
file | diff | annotate |
| Wed, 23 Apr 2014 10:38:56 +0200 |
updated workaround;
|
file | diff | annotate |
| Tue, 15 Apr 2014 11:05:48 +0200 |
common context menu for Isabelle/jEdit;
|
file | diff | annotate |
| Fri, 11 Apr 2014 23:26:31 +0200 |
added spell-checker based on jortho-1.0;
|
file | diff | annotate |
| Sat, 05 Apr 2014 18:14:54 +0200 |
clarified Doc entry: more explicit path;
|
file | diff | annotate |
| Sat, 05 Apr 2014 15:03:40 +0200 |
updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
|
file | diff | annotate |
| Tue, 25 Mar 2014 15:15:33 +0100 |
separate "sml" mode, suppress old "ml" mode altogether;
|
file | diff | annotate |
| Tue, 18 Mar 2014 17:39:03 +0100 |
clarifed module name;
|
file | diff | annotate |
| Sat, 01 Mar 2014 19:39:27 +0100 |
tuned signature -- separate module Font_Info;
|
file | diff | annotate |
| Sat, 15 Feb 2014 16:27:58 +0100 |
isabelle-ml mode with separate token marker;
|
file | diff | annotate |
| Tue, 04 Feb 2014 09:04:59 +0000 |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file | diff | annotate |
| Fri, 06 Dec 2013 21:49:08 +0100 |
tuned;
|
file | diff | annotate |
| Thu, 05 Dec 2013 19:59:43 +0100 |
uniform use of transparent icons, as for main "apps";
|
file | diff | annotate |
| Wed, 04 Dec 2013 18:59:20 +0100 |
remove junk;
|
file | diff | annotate |
| Wed, 04 Dec 2013 18:38:26 +0100 |
recover main entry point from d9c88171b393 -- occasionally useful with plain "java -jar jedit.jar";
|
file | diff | annotate |
| Sun, 01 Dec 2013 13:54:41 +0100 |
prefer isabelle application icon;
|
file | diff | annotate |
| Thu, 26 Sep 2013 13:28:26 +0200 |
obsolete (see also 48d13465c7c7);
|
file | diff | annotate |
| Wed, 25 Sep 2013 15:40:34 +0200 |
include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
|
file | diff | annotate |
| Wed, 25 Sep 2013 15:26:19 +0200 |
removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
|
file | diff | annotate |
| Sun, 22 Sep 2013 14:30:34 +0200 |
clarified location of GUI modules (which depend on Swing of JFX);
|
file | diff | annotate |
| Sat, 21 Sep 2013 16:44:31 +0200 |
removed obsolete README;
|
file | diff | annotate |
| Thu, 12 Sep 2013 14:06:08 +0200 |
tuned comments;
|
file | diff | annotate |
| Thu, 12 Sep 2013 13:48:17 +0200 |
clarified directory structure;
|
file | diff | annotate |
| Thu, 12 Sep 2013 13:23:54 +0200 |
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);
|
file | diff | annotate |
| Sat, 07 Sep 2013 11:28:30 +0200 |
odd workaround for scalac to enable nohup;
|
file | diff | annotate |
| Sat, 07 Sep 2013 00:02:19 +0200 |
build session before start of jedit;
|
file | diff | annotate |
| Fri, 06 Sep 2013 21:28:07 +0200 |
use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);
|
file | diff | annotate |
| Fri, 06 Sep 2013 21:13:19 +0200 |
warm start of Isabelle/jEdit from Isabelle/Scala;
|
file | diff | annotate |
| Fri, 06 Sep 2013 17:26:58 +0200 |
prefer Isabelle/Scala over bash;
|
file | diff | annotate |
| Fri, 06 Sep 2013 17:20:48 +0200 |
prefer Isabelle/Scala over bash;
|
file | diff | annotate |
| Fri, 06 Sep 2013 17:01:49 +0200 |
prefer warm start via JEdit_Main;
|
file | diff | annotate |
| Thu, 05 Sep 2013 12:33:51 +0200 |
updated to jedit_build-20130905 which is based on jedit-5.1.0;
|
file | diff | annotate |
| Wed, 28 Aug 2013 15:14:58 +0200 |
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 |
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 |
moved generic module to its proper place;
|
file | diff | annotate |
| Mon, 12 Aug 2013 17:11:27 +0200 |
manage hyperlinks via PIDE editor interface;
|
file | diff | annotate |
| Mon, 12 Aug 2013 11:39:29 +0200 |
tuned signature -- more abstract PIDE editor operations;
|
file | diff | annotate |
| Fri, 09 Aug 2013 13:37:51 +0200 |
separate Process_Indicator -- simplified/clarified version of org.gjt.sp.jedit.gui.AnimatedIcon;
|
file | diff | annotate |
| Thu, 08 Aug 2013 14:24:21 +0200 |
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
|
file | diff | annotate |
| Mon, 05 Aug 2013 17:14:02 +0200 |
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 |
dockable window for "find" dialog (GUI only);
|
file | diff | annotate |
| Sat, 06 Jul 2013 21:50:14 +0200 |
more dependencies;
|
file | diff | annotate |
| Sat, 06 Jul 2013 21:19:38 +0200 |
minimal jedit mode for Isabelle NEWS;
|
file | diff | annotate |
| Fri, 28 Jun 2013 14:05:12 +0200 |
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 |
dockable window for Isabelle documentation;
|
file | diff | annotate |
| Tue, 26 Mar 2013 11:26:13 +0100 |
dockable window for timing information;
|
file | diff | annotate |
| Sun, 24 Mar 2013 16:12:45 +0100 |
basic support for xz files;
|
file | diff | annotate |
| Thu, 31 Jan 2013 22:21:05 +0100 |
some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
|
file | diff | annotate |