| Tue, 14 Mar 2017 19:46:53 +0100 | wenzelm | afford early initialization of JEdit_Options, but it may lead to messy exception trace for malformed etc/preferences (see also 6eeaaefcea56); | file | diff | annotate |
| Thu, 13 Oct 2016 11:54:06 +0200 | wenzelm | support for separate sub-system options, independent of main Isabelle options; | file | diff | annotate |
| Tue, 11 Oct 2016 21:25:10 +0200 | wenzelm | tuned -- Date.Format.default used by toString; | file | diff | annotate |