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.
Mon, 02 Dec 1996 12:37:15 +0100 removed 8bit sections
oheimb [Mon, 02 Dec 1996 12:37:15 +0100] rev 2291
removed 8bit sections
Mon, 02 Dec 1996 12:19:56 +0100 replaced Lift3 by Up3, moving Lift3.p to Up3.p
oheimb [Mon, 02 Dec 1996 12:19:56 +0100] rev 2290
replaced Lift3 by Up3, moving Lift3.p to Up3.p
Mon, 02 Dec 1996 12:03:51 +0100 in Tools/8bit/isa-patches/HOLCF/clean-HOLCF.cfg
oheimb [Mon, 02 Dec 1996 12:03:51 +0100] rev 2289
in Tools/8bit/isa-patches/HOLCF/clean-HOLCF.cfg
Mon, 02 Dec 1996 10:25:53 +0100 Made comments more explicit
paulson [Mon, 02 Dec 1996 10:25:53 +0100] rev 2288
Made comments more explicit
Mon, 02 Dec 1996 10:23:28 +0100 Removal of needless occurrences of "op"
paulson [Mon, 02 Dec 1996 10:23:28 +0100] rev 2287
Removal of needless occurrences of "op"
Mon, 02 Dec 1996 10:22:41 +0100 removed out-dated comment;
wenzelm [Mon, 02 Dec 1996 10:22:41 +0100] rev 2286
removed out-dated comment;
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip