Fri, 05 Feb 2010 22:09:57 +0100 |
wenzelm |
updated versions of requirements;
|
file |
diff |
annotate
|
Sat, 16 Jan 2010 21:14:15 +0100 |
wenzelm |
Netbeans Library "Scala-compiler";
|
file |
diff |
annotate
|
Wed, 30 Dec 2009 13:21:46 +0100 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 13:39:30 +0100 |
wenzelm |
Cobra version;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 18:00:05 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 16:44:30 +0100 |
wenzelm |
tuned library names;
|
file |
diff |
annotate
|
Mon, 07 Dec 2009 23:01:13 +0100 |
wenzelm |
misc updates;
|
file |
diff |
annotate
|
Fri, 04 Dec 2009 17:14:44 +0100 |
wenzelm |
basic setup for Cobra HTML renderer;
|
file |
diff |
annotate
|
Sat, 14 Nov 2009 16:53:49 +0100 |
wenzelm |
basic platform update;
|
file |
diff |
annotate
|
Thu, 13 Aug 2009 15:46:32 +0200 |
immler |
typo
|
file |
diff |
annotate
|
Sun, 05 Jul 2009 17:26:14 +0200 |
wenzelm |
updated to jEdit 4.3pre17;
|
file |
diff |
annotate
|
Fri, 03 Jul 2009 21:54:00 +0200 |
wenzelm |
updated to Netbeans 6.7;
|
file |
diff |
annotate
|
Sun, 07 Jun 2009 20:45:03 +0200 |
wenzelm |
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
|
file |
diff |
annotate
|
Wed, 03 Jun 2009 11:26:15 +0200 |
wenzelm |
updates for Netbeans 6.7;
|
file |
diff |
annotate
|
Tue, 02 Jun 2009 22:00:28 +0200 |
wenzelm |
updated versions;
|
file |
diff |
annotate
|
Sat, 30 May 2009 12:11:03 +0200 |
wenzelm |
more accurate setup for "jEdit" project;
|
file |
diff |
annotate
|
Sat, 22 Nov 2008 00:51:27 +0100 |
wenzelm |
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
|
file |
diff |
annotate
|
Wed, 19 Nov 2008 14:01:42 +0100 |
wenzelm |
updates for Netbeans 6.5;
|
file |
diff |
annotate
|
Tue, 21 Oct 2008 23:16:03 +0200 |
wenzelm |
hint on -settings=...;
|
file |
diff |
annotate
|
Mon, 20 Oct 2008 16:46:28 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Mon, 20 Oct 2008 12:05:08 +0200 |
wenzelm |
fixed jEdit version;
|
file |
diff |
annotate
|
Mon, 20 Oct 2008 11:44:59 +0200 |
wenzelm |
requires Java from Sun;
|
file |
diff |
annotate
|
Mon, 20 Oct 2008 11:35:27 +0200 |
wenzelm |
Requirements to build from sources.
|
file |
diff |
annotate
|