bin/isatool
2001-02-03 wenzelm 2001-02-03 use fgrep;
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 GPLed; more robust handling of spaces in args / file names; tuned;
1999-10-29 wenzelm 1999-10-29 tuned msg;
1997-05-21 wenzelm 1997-05-21 fixed spelling;
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x;
1997-03-11 wenzelm 1997-03-11 tuned comments; added ISABELLE_TOOLS support;
1997-03-06 wenzelm 1997-03-06 Oops, forgot to remove -x again;
1997-03-06 wenzelm 1997-03-06 even more robust and user friendly invocation (no longer requieres absolute path names);
1997-02-28 wenzelm 1997-02-28 more robust handling of invocation errors;
1997-01-13 wenzelm 1997-01-13 added -? option;
1996-12-18 wenzelm 1996-12-18 improved usage msg;
1996-12-16 wenzelm 1996-12-16 now fails if getsettings not found;
1996-12-09 wenzelm 1996-12-09 added -norc option; error output to stderr;
1996-12-04 wenzelm 1996-12-04 *** empty log message ***
1996-12-02 wenzelm 1996-12-02 isatool: Isabelle tool starter -- keeps your PATH name space clean.