lib/Tools/browser
2016-03-10 wenzelm prefer plain "isabelle" from PATH within Isabelle settings environment;
2015-09-30 wenzelm renamed jvmpath to platform_path;
2014-10-09 wenzelm prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
2014-05-24 wenzelm more portable -- accomodate MiKTeX on Windows;
2013-06-25 wenzelm more formal isabelle_admin_build;
2012-09-25 wenzelm proper error message;
2010-03-05 wenzelm isabelle browser -b: Admin/build only;
2010-01-09 wenzelm pass build error code;
2010-01-06 wenzelm simplified build/bootstrap of graph browser -- avoid make;
2008-12-20 wenzelm removed Ids;
2008-10-21 wenzelm tuned usage line;
2008-10-04 wenzelm replaced ISATOOL by ISABELLE_TOOL;
2008-08-16 wenzelm refined scala/java wrappers via isatool;
2008-08-15 wenzelm proper RC;
2008-08-15 wenzelm refined JVM path wrappers;
2008-03-06 wenzelm check ISABELLE_BROWSER_INFO before cd;
2007-12-15 wenzelm added javapath (for cygwin);
2006-09-18 wenzelm renamed option -d to -c (cf. isatool display);
2004-06-21 kleing Merged in license change from Isabelle2004
2004-04-13 kleing use .jar
2003-05-07 kleing use different main class for batch mode
2001-10-23 wenzelm unset DISPLAY (again);
2001-10-22 wenzelm keep DISPLAY;
2001-10-20 wenzelm -o pdf: produce *both* eps and pdf;
2001-10-16 berghofe Tuned.
2001-10-16 wenzelm option -o FILE --output to FILE (ps, eps, pdf);
2000-11-30 wenzelm /usr/bin/env bash;
2000-11-22 wenzelm tuned;
2000-09-01 wenzelm fixed quoting;
2000-09-01 wenzelm GPLed;
2000-07-03 wenzelm fixed usage;
2000-06-30 wenzelm fixed ISABELLE_BROWSER_INFO;
1999-10-07 berghofe New option -d for deleting file after use.
1997-08-07 berghofe Startup script for Isabelle theory browser.
less more (0) tip