Thu, 03 Sep 2009 20:10:23 +0200 |
wenzelm |
sorted;
|
file |
diff |
annotate
|
Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
added shortcut
|
file |
diff |
annotate
|
Wed, 08 Jul 2009 15:15:13 +0200 |
immler |
gui element to set current document version
|
file |
diff |
annotate
|
Fri, 26 Jun 2009 20:54:42 +0200 |
wenzelm |
opt-out obscure encodings;
|
file |
diff |
annotate
|
Fri, 26 Jun 2009 18:24:03 +0200 |
wenzelm |
renamed UTF-8-isabelle to UTF-8-Isabelle;
|
file |
diff |
annotate
|
Thu, 25 Jun 2009 23:03:09 +0200 |
wenzelm |
added IsabelleEncoding -- a clone of utf-8 for now;
|
file |
diff |
annotate
|
Tue, 23 Jun 2009 21:14:54 +0200 |
wenzelm |
default sidekick.complete-delay;
|
file |
diff |
annotate
|
Mon, 27 Apr 2009 17:33:49 +0200 |
immler |
seperate node for syntax-highlighting
|
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
|
Sat, 20 Dec 2008 17:53:00 +0100 |
wenzelm |
tuned sidekick properties;
|
file |
diff |
annotate
|
Sat, 20 Dec 2008 17:40:30 +0100 |
wenzelm |
default docking of sidekick and isabelle-state;
|
file |
diff |
annotate
|
Tue, 21 Oct 2008 21:48:44 +0200 |
wenzelm |
essential default properties for jEdit;
|
file |
diff |
annotate
|