lib/Tools/getenv
Wed, 04 Dec 1996 13:05:47 +0100 wenzelm *** empty log message ***
Mon, 02 Dec 1996 18:19:50 +0100 wenzelm getenv: get value from Isabelle settings.
less more (0) tip