| Sat, 21 May 2011 11:31:59 +0200 | wenzelm | optional jedit_build/etc/user-settings enable to override defaults produced by late component initialization; | file | diff | annotate |
| Sat, 21 May 2011 00:01:15 +0200 | wenzelm | build and run Isabelle/jEdit on the spot -- requires auxiliary "jedit_build" component; | file | diff | annotate |