Mon, 02 Dec 1996 18:21:50 +0100 | wenzelm | installfonts: install Isabelle symbol fonts. | changeset | files |
Mon, 02 Dec 1996 18:19:50 +0100 | wenzelm | getenv: get value from Isabelle settings. | changeset | files |
Mon, 02 Dec 1996 18:19:28 +0100 | wenzelm | changeparent: change parent of Poly/ML database. | changeset | files |