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 |