| Fri, 01 Feb 2013 21:40:15 +0100 | wenzelm | allow relative directory; | file | diff | annotate |
| Tue, 15 Jan 2013 12:30:23 +0100 | wenzelm | grand-unified Admin/Release/build script (excluding .app and .exe); | file | diff | annotate |
| Sun, 13 Jan 2013 20:30:33 +0100 | wenzelm | some attempts to avoid "._" files on Mac OS X; | file | diff | annotate |
| Wed, 09 Jan 2013 22:28:28 +0100 | wenzelm | unconditional jedit_build; | file | diff | annotate |
| Wed, 09 Jan 2013 17:04:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 29 Aug 2012 22:18:33 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Wed, 29 Aug 2012 21:20:46 +0200 | wenzelm | more formal isabelle makedist from repository; | file | diff | annotate | base |