lib/Tools/browser
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.