| Mon, 02 Dec 1996 18:24:38 +0100 |
wenzelm |
run-smlnj: SML/NJ startup script (for 1.06 or later).
|
changeset |
files
|
| 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
|
| Mon, 02 Dec 1996 18:15:26 +0100 |
wenzelm |
settings: Isabelle settings -- site defaults.
|
changeset |
files
|
| Mon, 02 Dec 1996 18:14:32 +0100 |
wenzelm |
isatool: Isabelle tool starter -- keeps your PATH name space clean.
|
changeset |
files
|
| Mon, 02 Dec 1996 18:13:28 +0100 |
wenzelm |
isabelle: Basic Isabelle startup script.
|
changeset |
files
|
| Mon, 02 Dec 1996 12:37:15 +0100 |
oheimb |
removed 8bit sections
|
changeset |
files
|
| Mon, 02 Dec 1996 12:19:56 +0100 |
oheimb |
replaced Lift3 by Up3, moving Lift3.p to Up3.p
|
changeset |
files
|
| Mon, 02 Dec 1996 12:03:51 +0100 |
oheimb |
in Tools/8bit/isa-patches/HOLCF/clean-HOLCF.cfg
|
changeset |
files
|
| Mon, 02 Dec 1996 10:25:53 +0100 |
paulson |
Made comments more explicit
|
changeset |
files
|
| Mon, 02 Dec 1996 10:23:28 +0100 |
paulson |
Removal of needless occurrences of "op"
|
changeset |
files
|