isabelle: Changelog

wenzelm [Mon, 09 Dec 1996 16:48:30 +0100] rev 2351

Contents - list of available documentation;

wenzelm [Mon, 09 Dec 1996 16:47:11 +0100] rev 2350

patch-scripts.bash - relocate interpreter paths of Isabelle scripts.

wenzelm [Mon, 09 Dec 1996 16:42:24 +0100] rev 2349

various fixes;

wenzelm [Mon, 09 Dec 1996 16:41:04 +0100] rev 2348

*** empty log message ***

Mon, 09 Dec 1996 16:40:22 +0100 added -norc option;

wenzelm [Mon, 09 Dec 1996 16:40:22 +0100] rev 2347

added -norc option;

wenzelm [Mon, 09 Dec 1996 16:39:53 +0100] rev 2346

getplatform - bash source script to augment current env;

wenzelm [Mon, 09 Dec 1996 16:39:11 +0100] rev 2345

added ISABELLE_DOCS;

wenzelm [Mon, 09 Dec 1996 16:38:28 +0100] rev 2344

added -norc option; error output to stderr;

wenzelm [Mon, 09 Dec 1996 16:38:07 +0100] rev 2343

added -norc option; error output to stderr; removed -o option; changed -u ML text;

wenzelm [Mon, 09 Dec 1996 16:33:57 +0100] rev 2342

Compatibility file for Standard ML of New Jersey, version 1.09.

isabelle