| 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
|
| Tue, 29 May 2012 22:24:31 +0200 |
wenzelm |
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
|
file |
diff |
annotate
|
| Tue, 29 May 2012 16:39:42 +0200 |
wenzelm |
separate README dockable, which allows to make it more prominent first and remove it later;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 02 May 2012 16:04:07 +0200 |
wenzelm |
accomodate scala-2.10.0-M3 with its extra jar;
|
file |
diff |
annotate
|
| 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.;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Sat, 24 Mar 2012 20:24:16 +0100 |
wenzelm |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
|
file |
diff |
annotate
|
| Sun, 18 Mar 2012 21:52:50 +0100 |
wenzelm |
less noisy Isabelle/Scala build process;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|