| 2012-12-06 |
wenzelm |
clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL);
|
file |
diff |
annotate
|
| 2012-12-06 |
wenzelm |
more uniform default logic, using settings, options, args etc.;
|
file |
diff |
annotate
|
| 2012-12-05 |
wenzelm |
implicit build_dialog for Isabelle/jEdit;
|
file |
diff |
annotate
|
| 2012-12-01 |
wenzelm |
updated to jedit-5.0.0;
|
file |
diff |
annotate
|
| 2012-11-30 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
| 2012-11-25 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2012-11-25 |
wenzelm |
tuned file name;
|
file |
diff |
annotate
|
| 2012-11-24 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
| 2012-11-21 |
immler |
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
|
file |
diff |
annotate
|
| 2012-11-18 |
wenzelm |
proper jvmpath for windows;
|
file |
diff |
annotate
|
| 2012-11-17 |
wenzelm |
prefer absolute default $USER_HOME/Scratch.thy;
|
file |
diff |
annotate
|
| 2012-10-20 |
wenzelm |
avoid duplicate build of jars_fresh;
|
file |
diff |
annotate
|
| 2012-10-07 |
wenzelm |
detach tooltip as dockable window;
|
file |
diff |
annotate
|
| 2012-10-04 |
wenzelm |
separate module Pretty_Tooltip;
|
file |
diff |
annotate
|
| 2012-09-27 |
wenzelm |
removed obsolete Output1 dockable;
|
file |
diff |
annotate
|
| 2012-09-26 |
wenzelm |
some support for jEdit warmstart;
|
file |
diff |
annotate
|
| 2012-09-26 |
wenzelm |
more uniform graphview terminology;
|
file |
diff |
annotate
|
| 2012-09-25 |
wenzelm |
basic integration of graphview into document model;
|
file |
diff |
annotate
|
| 2012-09-21 |
wenzelm |
renamed Output to Output1 and Output2 to Output, and thus make the new version the default;
|
file |
diff |
annotate
|
| 2012-09-21 |
wenzelm |
some support for hovering and sendback area;
|
file |
diff |
annotate
|
| 2012-09-17 |
wenzelm |
renamed Text_Area_Painter to Rich_Text_Area;
|
file |
diff |
annotate
|
| 2012-09-17 |
wenzelm |
somewhat more general JEdit_Lib;
|
file |
diff |
annotate
|
| 2012-09-16 |
wenzelm |
alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea;
|
file |
diff |
annotate
|
| 2012-09-10 |
wenzelm |
more systematic JEdit_Options.make_component;
|
file |
diff |
annotate
|
| 2012-09-10 |
wenzelm |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
file |
diff |
annotate
|
| 2012-08-24 |
wenzelm |
support for direct hyperlinks, without the Hyperlinks plugin;
|
file |
diff |
annotate
|
| 2012-08-14 |
wenzelm |
added jedit option -d;
|
file |
diff |
annotate
|
| 2012-07-30 |
wenzelm |
discontinued unused isabelle jedit debugger;
|
file |
diff |
annotate
|
| 2012-07-28 |
wenzelm |
renamed isabelle-root minor mode;
|
file |
diff |
annotate
|
| 2012-07-20 |
wenzelm |
basic jEdit mode for Isabelle options;
|
file |
diff |
annotate
|
| 2012-07-17 |
wenzelm |
basic support for session ROOT files, with examples for FOL and ZF;
|
file |
diff |
annotate
|
| 2012-05-29 |
wenzelm |
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
|
file |
diff |
annotate
|
| 2012-05-29 |
wenzelm |
separate README dockable, which allows to make it more prominent first and remove it later;
|
file |
diff |
annotate
|
| 2012-05-24 |
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
|
| 2012-05-02 |
wenzelm |
accomodate scala-2.10.0-M3 with its extra jar;
|
file |
diff |
annotate
|
| 2012-04-22 |
wenzelm |
pretend jedit is up-to-date if this is not a repository -- avoid accidental build attempts after touching files etc.;
|
file |
diff |
annotate
|
| 2012-03-26 |
wenzelm |
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
|
file |
diff |
annotate
|
| 2012-03-24 |
wenzelm |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
|
file |
diff |
annotate
|
| 2012-03-18 |
wenzelm |
less noisy Isabelle/Scala build process;
|
file |
diff |
annotate
|
| 2012-03-17 |
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
|
| 2012-02-21 |
wenzelm |
separate module for text status overview;
|
file |
diff |
annotate
|
| 2012-02-16 |
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);
|
file |
diff |
annotate
|
| 2011-11-28 |
wenzelm |
renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;
|
file |
diff |
annotate
|
| 2011-10-17 |
wenzelm |
always use sockets on Windows/Cygwin;
|
file |
diff |
annotate
|
| 2011-09-23 |
wenzelm |
prefer socket comminication on Cygwin, which is more stable here than fifos;
|
file |
diff |
annotate
|
| 2011-09-23 |
wenzelm |
explicit option for socket vs. fifo communication;
|
file |
diff |
annotate
|
| 2011-09-10 |
wenzelm |
tuned usage;
|
file |
diff |
annotate
|
| 2011-08-30 |
wenzelm |
separate module for jEdit primitives for loading theory files;
|
file |
diff |
annotate
|
| 2011-08-28 |
wenzelm |
more portable cp options, e.g. for non-GNU version on Mac OS X Leopard;
|
file |
diff |
annotate
|
| 2011-08-26 |
wenzelm |
back to tradition Scratch.thy default -- execution wrt. perspective overcomes the main problems of 226563829580;
|
file |
diff |
annotate
|
| 2011-07-07 |
wenzelm |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file |
diff |
annotate
|
| 2011-06-23 |
wenzelm |
simplified arrangement of jars;
|
file |
diff |
annotate
|
| 2011-06-23 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file |
diff |
annotate
|
| 2011-06-18 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2011-06-16 |
wenzelm |
static token markup, based on outer syntax only;
|
file |
diff |
annotate
|
| 2011-06-16 |
wenzelm |
explicit dependency on Pure.jar;
|
file |
diff |
annotate
|
| 2011-06-15 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| 2011-06-15 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2011-06-14 |
wenzelm |
include scala mode;
|
file |
diff |
annotate
|
| 2011-06-14 |
wenzelm |
more explicit check of dependencies;
|
file |
diff |
annotate
|