lib/Tools/browser
2013-06-25 wenzelm 2013-06-25 more formal isabelle_admin_build; tuned;
2012-09-25 wenzelm 2012-09-25 proper error message;
2010-03-05 wenzelm 2010-03-05 isabelle browser -b: Admin/build only;
2010-01-09 wenzelm 2010-01-09 pass build error code;
2010-01-06 wenzelm 2010-01-06 simplified build/bootstrap of graph browser -- avoid make;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2008-08-16 wenzelm 2008-08-16 refined scala/java wrappers via isatool;
2008-08-15 wenzelm 2008-08-15 proper RC;
2008-08-15 wenzelm 2008-08-15 refined JVM path wrappers;
2008-03-06 wenzelm 2008-03-06 check ISABELLE_BROWSER_INFO before cd;
2007-12-15 wenzelm 2007-12-15 added javapath (for cygwin);
2006-09-18 wenzelm 2006-09-18 renamed option -d to -c (cf. isatool display); operate on PRIVATE_FILE;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-04-13 kleing 2004-04-13 use .jar
2003-05-07 kleing 2003-05-07 use different main class for batch mode
2001-10-23 wenzelm 2001-10-23 unset DISPLAY (again);
2001-10-22 wenzelm 2001-10-22 keep DISPLAY;
2001-10-20 wenzelm 2001-10-20 -o pdf: produce *both* eps and pdf; tuned;
2001-10-16 berghofe 2001-10-16 Tuned.
2001-10-16 wenzelm 2001-10-16 option -o FILE --output to FILE (ps, eps, pdf);
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-01 wenzelm 2000-09-01 fixed quoting;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-07-04 wenzelm 2000-07-04 fixed usage;
2000-06-30 wenzelm 2000-06-30 fixed ISABELLE_BROWSER_INFO;
1999-10-07 berghofe 1999-10-07 New option -d for deleting file after use.
1997-08-07 berghofe 1997-08-07 Startup script for Isabelle theory browser.