isabelle: Changelog

wenzelm [Fri, 16 Nov 2001 15:24:09 +0100] rev 12221

local_standard: plain strip_shyps instead of strip_shyps_warning;

paulson [Fri, 16 Nov 2001 13:48:43 +0100] rev 12220

last-minute tidying

wenzelm [Thu, 15 Nov 2001 23:26:58 +0100] rev 12219

updated;

wenzelm [Thu, 15 Nov 2001 23:25:46 +0100] rev 12218

GPLed;

wenzelm [Thu, 15 Nov 2001 23:25:01 +0100] rev 12217

write_keywords: string argument (logic name);

wenzelm [Thu, 15 Nov 2001 23:21:57 +0100] rev 12216

isatool unsymbolize;

ehmety [Thu, 15 Nov 2001 20:01:19 +0100] rev 12215

Modified to make the files build with the new changes in ZF

wenzelm [Thu, 15 Nov 2001 18:37:34 +0100] rev 12214

depends on Epsilon!

wenzelm [Thu, 15 Nov 2001 18:36:24 +0100] rev 12213

fix_frees: rev;

wenzelm [Thu, 15 Nov 2001 18:36:07 +0100] rev 12212

prove: raise ERROR_MESSAGE;

isabelle