bin/isatool
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.