isabelle: Changelog

wenzelm [Mon, 29 Dec 1997 21:39:22 +0100] rev 4501

feed isabelle session;

wenzelm [Mon, 29 Dec 1997 21:38:19 +0100] rev 4500

commented out symboloutput.pl;

wenzelm [Mon, 29 Dec 1997 21:37:23 +0100] rev 4499

added feeder.pl;

wenzelm [Mon, 29 Dec 1997 14:31:20 +0100] rev 4498

pretty_name_space;

wenzelm [Mon, 29 Dec 1997 14:30:38 +0100] rev 4497

removed declared; improved dest;

wenzelm [Mon, 29 Dec 1997 14:29:34 +0100] rev 4496

removed distinct_fst_string;

wenzelm [Sun, 28 Dec 1997 15:47:09 +0100] rev 4495

improved error handling;

wenzelm [Sun, 28 Dec 1997 15:46:13 +0100] rev 4494

fixed execute;

wenzelm [Sun, 28 Dec 1997 15:24:11 +0100] rev 4493

made MLWorks happy;

wenzelm [Sun, 28 Dec 1997 15:11:54 +0100] rev 4492

stderr to $LOG;

isabelle