| Sun, 05 Jul 2009 17:53:27 +0200 |
wenzelm |
updated to jedit 4.3pre17 -- no longer provide separate ml.xml;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2009 21:05:26 +0100 |
wenzelm |
more robust copying of jars;
|
file |
diff |
annotate
|
| Sun, 01 Feb 2009 12:50:21 +0100 |
immler |
modified netbeans build such that dist can be used as settings-directory for jedit;
|
file |
diff |
annotate
|
| Fri, 16 Jan 2009 16:54:01 +0100 |
wenzelm |
removed jEdit/build-support (belongs to src distribution);
|
file |
diff |
annotate
|
| Sun, 11 Jan 2009 19:33:53 +0100 |
wenzelm |
failsafe mkdir;
|
file |
diff |
annotate
|
| Sat, 10 Jan 2009 17:33:21 +0100 |
immler |
create folder 'jars' before copying
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 16:04:17 +0100 |
wenzelm |
basic isabelle mode setup;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 12:17:43 +0100 |
wenzelm |
updated to 4.3pre16;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:07:02 +0100 |
wenzelm |
removed jEdit sources from target;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2008 15:25:24 +0100 |
immler |
include Sidekick its dependency ErrorList in dist
|
file |
diff |
annotate
|
| Wed, 19 Nov 2008 20:46:54 +0100 |
wenzelm |
adapted jar locations;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 21:47:49 +0200 |
wenzelm |
make Isabelle/jEdit distribution;
|
file |
diff |
annotate
|