src/Tools/jEdit/README_BUILD
Sat, 22 Oct 2011 19:22:13 +0200 wenzelm experimental support for Scala 2.9.1.final;
Sat, 15 Oct 2011 18:14:36 +0200 wenzelm updated to Scala 2.8.2.final;
Mon, 05 Sep 2011 14:17:44 +0200 boehmes tuned
Sun, 04 Sep 2011 16:37:22 +0200 wenzelm updated READMEs;
Sun, 07 Aug 2011 23:05:50 +0200 wenzelm updated version information;
Wed, 08 Jun 2011 17:32:31 +0200 wenzelm removed obsolete Netbeans project setup;
Fri, 20 May 2011 23:59:46 +0200 wenzelm updated versions;
Thu, 12 May 2011 16:46:49 +0200 wenzelm updated versions;
Tue, 09 Nov 2010 22:37:10 +0100 wenzelm updated version;
Mon, 08 Nov 2010 17:44:47 +0100 wenzelm more hints on building and running Isabelle/jEdit from command line;
Wed, 04 Aug 2010 15:14:48 +0200 wenzelm updated to Netbeans 6.9;
Sun, 18 Jul 2010 17:56:04 +0200 wenzelm minor update of dependencies;
Mon, 31 May 2010 22:08:40 +0200 wenzelm notes on Isabelle/jEdit;
Sat, 22 May 2010 20:37:59 +0200 wenzelm more Mac OS problems;
Mon, 10 May 2010 22:29:27 +0200 wenzelm Scala for Netbeans 6.8v1.1.0rc2;
Mon, 10 May 2010 15:18:57 +0200 wenzelm updated to jedit 4.3.2;
Wed, 28 Apr 2010 16:56:51 +0200 wenzelm document some known problems with Mac OS;
Wed, 14 Apr 2010 22:18:10 +0200 wenzelm tuned whitespace;
Wed, 14 Apr 2010 19:46:36 +0200 hoelzl Spelling error: theroems -> theorems
Tue, 30 Mar 2010 00:11:41 +0200 wenzelm adapted to Netbeans 6.8 and Scala for Netbeans 6.8v1.1;
Fri, 05 Feb 2010 22:09:57 +0100 wenzelm updated versions of requirements;
Sat, 16 Jan 2010 21:14:15 +0100 wenzelm Netbeans Library "Scala-compiler";
Wed, 30 Dec 2009 13:21:46 +0100 wenzelm updated;
Tue, 15 Dec 2009 13:39:30 +0100 wenzelm Cobra version;
Tue, 08 Dec 2009 18:00:05 +0100 wenzelm tuned;
Tue, 08 Dec 2009 16:44:30 +0100 wenzelm tuned library names;
Mon, 07 Dec 2009 23:01:13 +0100 wenzelm misc updates;
Fri, 04 Dec 2009 17:14:44 +0100 wenzelm basic setup for Cobra HTML renderer;
Sat, 14 Nov 2009 16:53:49 +0100 wenzelm basic platform update;
Thu, 13 Aug 2009 15:46:32 +0200 immler typo
Sun, 05 Jul 2009 17:26:14 +0200 wenzelm updated to jEdit 4.3pre17;
Fri, 03 Jul 2009 21:54:00 +0200 wenzelm updated to Netbeans 6.7;
Sun, 07 Jun 2009 20:45:03 +0200 wenzelm updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
Wed, 03 Jun 2009 11:26:15 +0200 wenzelm updates for Netbeans 6.7;
Tue, 02 Jun 2009 22:00:28 +0200 wenzelm updated versions;
Sat, 30 May 2009 12:11:03 +0200 wenzelm more accurate setup for "jEdit" project;
Sat, 22 Nov 2008 00:51:27 +0100 wenzelm basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
Wed, 19 Nov 2008 14:01:42 +0100 wenzelm updates for Netbeans 6.5;
Tue, 21 Oct 2008 23:16:03 +0200 wenzelm hint on -settings=...;
Mon, 20 Oct 2008 16:46:28 +0200 wenzelm tuned whitespace;
Mon, 20 Oct 2008 12:05:08 +0200 wenzelm fixed jEdit version;
Mon, 20 Oct 2008 11:44:59 +0200 wenzelm requires Java from Sun;
Mon, 20 Oct 2008 11:35:27 +0200 wenzelm Requirements to build from sources.
less more (0) tip