| Wed, 21 Sep 2011 15:08:15 +0200 | wenzelm | reduced default thread stack, to increase the success rate especially on Windows (NB: the actor worker farm tends to produce 100-200 threads for big sessions); | file | diff | annotate |
| Sat, 17 Sep 2011 19:55:32 +0200 | wenzelm | raised default log level -- to avoid confusing warning about scala.tools.nsc.plugins.Plugin, which is mistaken as jEdit plugin; | file | diff | annotate |
| Tue, 05 Jul 2011 21:53:59 +0200 | wenzelm | hard-wired print mode "xsymbols" increases chance that "iff" in HOL will print symbolic arrow; | file | diff | annotate |
| Sat, 18 Jun 2011 17:30:44 +0200 | wenzelm | proper place for config files (cf. 55866987a7d9); | file | diff | annotate |
| Wed, 08 Jun 2011 20:58:51 +0200 | wenzelm | build jedit as part of regular startup script (in that case depending on jedit_build component); | file | diff | annotate | base |