configure
Mon, 17 Feb 1997 17:22:19 +0100 wenzelm configure - adapt Isabelle distribution to system environment
less more (0) tip