| Mon, 02 Dec 1996 18:24:01 +0100 | wenzelm | run-polyml: Poly/ML startup script. | changeset | files |
| Mon, 02 Dec 1996 18:23:32 +0100 | wenzelm | isa-xterm: Isabelle within an xterm. | changeset | files |
| Mon, 02 Dec 1996 18:23:11 +0100 | wenzelm | getsettings: bash source script to augment current env. | changeset | files |
| Mon, 02 Dec 1996 18:22:22 +0100 | wenzelm | isabelle symbol fonts; | changeset | files |
| 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 |