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;
Thu, 09 Oct 2014 11:15:03 +0200 wenzelm prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
Sat, 24 May 2014 19:15:04 +0200 wenzelm more portable -- accomodate MiKTeX on Windows;
Tue, 25 Jun 2013 11:41:16 +0200 wenzelm more formal isabelle_admin_build;
Tue, 25 Sep 2012 16:48:33 +0200 wenzelm proper error message;
Fri, 05 Mar 2010 21:26:21 +0100 wenzelm isabelle browser -b: Admin/build only;
Sat, 09 Jan 2010 18:22:40 +0100 wenzelm pass build error code;
less more (0) -30 -10 -8 tip