isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

src/Tools/jEdit/etc/settings

Fri, 30 Mar 2012 21:08:00 +0200	wenzelm	more robust Scala 2.9.x interpreter invocation -- avoid separate interpreter thread and thus deadlock of Swing_Thread.now;	file \| diff \| annotate
Wed, 21 Mar 2012 13:54:33 +0100	wenzelm	try apple.laf.useScreenMenuBar=false to make menus stay closer to the editor views they belong to -- potentially less confusing for jEdit newcomers;	file \| diff \| annotate
Fri, 25 Nov 2011 22:10:51 +0100	wenzelm	increased stack limits (again, cf. d9cf3520083c and 77c3e74bd954);	file \| diff \| annotate
Fri, 23 Sep 2011 14:13:15 +0200	wenzelm	default print mode for Isabelle/Scala, not just Isabelle/jEdit;	file \| diff \| annotate
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

less more (0) tip

isabelle