bin/isatool
Mon, 16 Dec 1996 09:53:30 +0100 wenzelm now fails if getsettings not found;
Mon, 09 Dec 1996 16:38:28 +0100 wenzelm added -norc option;
Wed, 04 Dec 1996 13:05:47 +0100 wenzelm *** empty log message ***
Mon, 02 Dec 1996 18:14:32 +0100 wenzelm isatool: Isabelle tool starter -- keeps your PATH name space clean.
less more (0) tip