| 1997-05-21 | wenzelm | fixed spelling; | file | diff | annotate |
| 1997-04-22 | wenzelm | removed -norc; | file | diff | annotate |
| 1997-04-11 | wenzelm | fixed { ... } shell syntax to accomodate bash 2.x; | file | diff | annotate |
| 1997-03-11 | wenzelm | tuned comments; | file | diff | annotate |
| 1997-03-06 | wenzelm | Oops, forgot to remove -x again; | file | diff | annotate |
| 1997-03-06 | wenzelm | even more robust and user friendly invocation (no longer requieres | file | diff | annotate |
| 1997-02-28 | wenzelm | more robust handling of invocation errors; | file | diff | annotate |
| 1997-01-13 | wenzelm | added -? option; | file | diff | annotate |
| 1996-12-18 | wenzelm | improved usage msg; | file | diff | annotate |
| 1996-12-16 | wenzelm | now fails if getsettings not found; | file | diff | annotate |
| 1996-12-09 | wenzelm | added -norc option; | file | diff | annotate |
| 1996-12-04 | wenzelm | *** empty log message *** | file | diff | annotate |
| 1996-12-02 | wenzelm | isatool: Isabelle tool starter -- keeps your PATH name space clean. | file | diff | annotate |