Mon, 02 Dec 1996 18:24:01 +0100 run-polyml: Poly/ML startup script.
wenzelm [Mon, 02 Dec 1996 18:24:01 +0100] rev 2301
run-polyml: Poly/ML startup script.
Mon, 02 Dec 1996 18:23:32 +0100 isa-xterm: Isabelle within an xterm.
wenzelm [Mon, 02 Dec 1996 18:23:32 +0100] rev 2300
isa-xterm: Isabelle within an xterm.
Mon, 02 Dec 1996 18:23:11 +0100 getsettings: bash source script to augment current env.
wenzelm [Mon, 02 Dec 1996 18:23:11 +0100] rev 2299
getsettings: bash source script to augment current env.
Mon, 02 Dec 1996 18:22:22 +0100 isabelle symbol fonts;
wenzelm [Mon, 02 Dec 1996 18:22:22 +0100] rev 2298
isabelle symbol fonts;
Mon, 02 Dec 1996 18:21:50 +0100 installfonts: install Isabelle symbol fonts.
wenzelm [Mon, 02 Dec 1996 18:21:50 +0100] rev 2297
installfonts: install Isabelle symbol fonts.
Mon, 02 Dec 1996 18:19:50 +0100 getenv: get value from Isabelle settings.
wenzelm [Mon, 02 Dec 1996 18:19:50 +0100] rev 2296
getenv: get value from Isabelle settings.
Mon, 02 Dec 1996 18:19:28 +0100 changeparent: change parent of Poly/ML database.
wenzelm [Mon, 02 Dec 1996 18:19:28 +0100] rev 2295
changeparent: change parent of Poly/ML database.
Mon, 02 Dec 1996 18:15:26 +0100 settings: Isabelle settings -- site defaults.
wenzelm [Mon, 02 Dec 1996 18:15:26 +0100] rev 2294
settings: Isabelle settings -- site defaults.
Mon, 02 Dec 1996 18:14:32 +0100 isatool: Isabelle tool starter -- keeps your PATH name space clean.
wenzelm [Mon, 02 Dec 1996 18:14:32 +0100] rev 2293
isatool: Isabelle tool starter -- keeps your PATH name space clean.
Mon, 02 Dec 1996 18:13:28 +0100 isabelle: Basic Isabelle startup script.
wenzelm [Mon, 02 Dec 1996 18:13:28 +0100] rev 2292
isabelle: Basic Isabelle startup script.
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip