isabelle: Changelog

wenzelm [Mon, 03 May 1999 10:51:44 +0200] rev 6562

prefer /bin for ./configure;

wenzelm [Mon, 03 May 1999 10:47:32 +0200] rev 6561

try chown root:root;

wenzelm [Sat, 01 May 1999 00:10:05 +0200] rev 6560

renamed 'dummy' to 'dummy_pattern' (less dangerous);

wenzelm [Fri, 30 Apr 1999 18:25:10 +0200] rev 6559

tuned;

wenzelm [Fri, 30 Apr 1999 18:13:55 +0200] rev 6558

method = meth3 (again);

wenzelm [Fri, 30 Apr 1999 18:10:35 +0200] rev 6557

peoper defer_recdef interface;

wenzelm [Fri, 30 Apr 1999 18:10:03 +0200] rev 6556

theory data: copy;

wenzelm [Fri, 30 Apr 1999 18:09:33 +0200] rev 6555

separated recdef / defer_recdef;

wenzelm [Fri, 30 Apr 1999 18:08:58 +0200] rev 6554

tuned defer_recdef interfaces;

wenzelm [Fri, 30 Apr 1999 18:07:19 +0200] rev 6553

comment, interest;

isabelle