isabelle: Changelog

wenzelm [Fri, 29 Dec 2000 19:45:01 +0100] rev 10747

scan: malformed result;

wenzelm [Fri, 29 Dec 2000 19:44:13 +0100] rev 10746

recover: result;

wenzelm [Fri, 29 Dec 2000 19:43:52 +0100] rev 10745

proper error msg;

wenzelm [Wed, 27 Dec 2000 18:27:49 +0100] rev 10744

'erule' etc.: assm arg;

wenzelm [Wed, 27 Dec 2000 18:27:19 +0100] rev 10743

Method.erule 0;

wenzelm [Wed, 27 Dec 2000 18:26:53 +0100] rev 10742

updated;

wenzelm [Wed, 27 Dec 2000 18:26:32 +0100] rev 10741

'insert' made proper; 'erule' etc.: assm arg;

wenzelm [Wed, 27 Dec 2000 18:25:54 +0100] rev 10740

ares_tac, [edf]atac;

wenzelm [Sat, 23 Dec 2000 22:53:27 +0100] rev 10739

antiq: preview errors;

wenzelm [Sat, 23 Dec 2000 22:53:05 +0100] rev 10738

tuned length;

isabelle