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