isabelle: Changelog

wenzelm [Wed, 18 Dec 1996 12:42:20 +0100] rev 2432

minor modifications to accomodate IsaMakefile;

wenzelm [Wed, 18 Dec 1996 12:41:48 +0100] rev 2431

IsaMakefile for Pure Isabelle;

wenzelm [Tue, 17 Dec 1996 12:53:14 +0100] rev 2430

now refers to absolute paths of binaries;

wenzelm [Tue, 17 Dec 1996 12:52:33 +0100] rev 2429

fixed ML_HOME; chmod fix;

wenzelm [Tue, 17 Dec 1996 12:51:54 +0100] rev 2428

improved error handling;

wenzelm [Tue, 17 Dec 1996 12:51:02 +0100] rev 2427

Isabelle user settings sample;

wenzelm [Tue, 17 Dec 1996 12:50:41 +0100] rev 2426

major cleanup; added comments;

wenzelm [Tue, 17 Dec 1996 12:50:03 +0100] rev 2425

Poly/ML style prompts;

wenzelm [Mon, 16 Dec 1996 16:06:56 +0100] rev 2424

fixed Title;

oheimb [Mon, 16 Dec 1996 15:45:02 +0100] rev 2423

added consistency comment

isabelle