lib/Tools/browser
Thu, 10 Mar 2016 17:30:04 +0100 wenzelm prefer plain "isabelle" from PATH within Isabelle settings environment;
Wed, 30 Sep 2015 21:32:44 +0200 wenzelm renamed jvmpath to platform_path;
less more (0) -30 -10 -2 tip