src/Tools/jEdit/README_BUILD
2012-01-04 wenzelm 2012-01-04 updated version information; discontinued somewhat obsolete hotspot check: OpenJDK 1.7 works reasonably well, and final bundling provides certain tested JDK/JRE versions;
2011-12-17 wenzelm 2011-12-17 updated version information;
2011-11-30 wenzelm 2011-11-30 updated version information;
2011-10-22 wenzelm 2011-10-22 experimental support for Scala 2.9.1.final;
2011-10-15 wenzelm 2011-10-15 updated to Scala 2.8.2.final;
2011-09-05 boehmes 2011-09-05 tuned
2011-09-04 wenzelm 2011-09-04 updated READMEs;
2011-08-07 wenzelm 2011-08-07 updated version information;
2011-06-08 wenzelm 2011-06-08 removed obsolete Netbeans project setup;
2011-05-20 wenzelm 2011-05-20 updated versions;
2011-05-12 wenzelm 2011-05-12 updated versions;
2010-11-09 wenzelm 2010-11-09 updated version;
2010-11-08 wenzelm 2010-11-08 more hints on building and running Isabelle/jEdit from command line;
2010-08-04 wenzelm 2010-08-04 updated to Netbeans 6.9;
2010-07-18 wenzelm 2010-07-18 minor update of dependencies;
2010-05-31 wenzelm 2010-05-31 notes on Isabelle/jEdit;
2010-05-22 wenzelm 2010-05-22 more Mac OS problems;
2010-05-10 wenzelm 2010-05-10 Scala for Netbeans 6.8v1.1.0rc2;
2010-05-10 wenzelm 2010-05-10 updated to jedit 4.3.2;
2010-04-28 wenzelm 2010-04-28 document some known problems with Mac OS;
2010-04-14 wenzelm 2010-04-14 tuned whitespace;
2010-04-14 hoelzl 2010-04-14 Spelling error: theroems -> theorems
2010-03-30 wenzelm 2010-03-30 adapted to Netbeans 6.8 and Scala for Netbeans 6.8v1.1;
2010-02-05 wenzelm 2010-02-05 updated versions of requirements;
2010-01-16 wenzelm 2010-01-16 Netbeans Library "Scala-compiler";
2009-12-30 wenzelm 2009-12-30 updated;
2009-12-15 wenzelm 2009-12-15 Cobra version;
2009-12-08 wenzelm 2009-12-08 tuned;
2009-12-08 wenzelm 2009-12-08 tuned library names;
2009-12-07 wenzelm 2009-12-07 misc updates;
2009-12-04 wenzelm 2009-12-04 basic setup for Cobra HTML renderer;
2009-11-14 wenzelm 2009-11-14 basic platform update;
2009-08-13 immler 2009-08-13 typo
2009-07-05 wenzelm 2009-07-05 updated to jEdit 4.3pre17;
2009-07-03 wenzelm 2009-07-03 updated to Netbeans 6.7; added jEdit plugins; updated startup (Isabelle_System configuration);
2009-06-07 wenzelm 2009-06-07 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
2009-06-03 wenzelm 2009-06-03 updates for Netbeans 6.7;
2009-06-02 wenzelm 2009-06-02 updated versions;
2009-05-30 wenzelm 2009-05-30 more accurate setup for "jEdit" project;
2008-11-22 wenzelm 2008-11-22 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
2008-11-19 wenzelm 2008-11-19 updates for Netbeans 6.5;
2008-10-21 wenzelm 2008-10-21 hint on -settings=...;
2008-10-20 wenzelm 2008-10-20 tuned whitespace;
2008-10-20 wenzelm 2008-10-20 fixed jEdit version;
2008-10-20 wenzelm 2008-10-20 requires Java from Sun; hints on running;
2008-10-20 wenzelm 2008-10-20 Requirements to build from sources.