| Sun, 18 Jul 2010 17:56:04 +0200 | wenzelm | minor update of dependencies; | file | diff | annotate |
| Mon, 31 May 2010 22:08:40 +0200 | wenzelm | notes on Isabelle/jEdit; | file | diff | annotate |
| Sat, 22 May 2010 20:37:59 +0200 | wenzelm | more Mac OS problems; | file | diff | annotate |
| Mon, 10 May 2010 22:29:27 +0200 | wenzelm | Scala for Netbeans 6.8v1.1.0rc2; | file | diff | annotate |
| Mon, 10 May 2010 15:18:57 +0200 | wenzelm | updated to jedit 4.3.2; | file | diff | annotate |
| Wed, 28 Apr 2010 16:56:51 +0200 | wenzelm | document some known problems with Mac OS; | file | diff | annotate |
| Wed, 14 Apr 2010 22:18:10 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Wed, 14 Apr 2010 19:46:36 +0200 | hoelzl | Spelling error: theroems -> theorems | file | diff | annotate |
| Tue, 30 Mar 2010 00:11:41 +0200 | wenzelm | adapted to Netbeans 6.8 and Scala for Netbeans 6.8v1.1; | file | diff | annotate |
| 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 |