isabelle: Changelog

wenzelm [Wed, 18 Dec 1996 12:46:59 +0100] rev 2436

added ISABELLE_HTML;

wenzelm [Wed, 18 Dec 1996 12:46:34 +0100] rev 2435

added ISABELLE_HTML; fixed Poly/ML 2.x;

wenzelm [Wed, 18 Dec 1996 12:45:54 +0100] rev 2434

improved usage msg;

wenzelm [Wed, 18 Dec 1996 12:42:53 +0100] rev 2433

IsaMakefile for FOL;

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;

isabelle