isabelle: Changelog

wenzelm [Thu, 20 Feb 1997 15:18:43 +0100] rev 2659

fixed rail.sty dep;

wenzelm [Thu, 20 Feb 1997 15:15:17 +0100] rev 2658

added this file;

wenzelm [Thu, 20 Feb 1997 15:13:52 +0100] rev 2657

rail output;

wenzelm [Thu, 20 Feb 1997 14:59:02 +0100] rev 2656

made a bit more robust;

wenzelm [Mon, 17 Feb 1997 18:12:03 +0100] rev 2655

manual steps comment;

wenzelm [Mon, 17 Feb 1997 17:55:45 +0100] rev 2654

*** empty log message ***

slotosch [Mon, 17 Feb 1997 17:24:24 +0100] rev 2653

described changes for HOLCF-Version without rules and arities

wenzelm [Mon, 17 Feb 1997 17:23:14 +0100] rev 2652

file moved;

wenzelm [Mon, 17 Feb 1997 17:22:50 +0100] rev 2651

file moved here;

wenzelm [Mon, 17 Feb 1997 17:22:19 +0100] rev 2650

configure - adapt Isabelle distribution to system environment

isabelle