| 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 |