isabelle: Changelog

wenzelm [Thu, 07 Apr 2005 09:26:48 +0200] rev 15666

Scan.peek;

wenzelm [Thu, 07 Apr 2005 09:26:40 +0200] rev 15665

tuned updates, added map_entry;

wenzelm [Thu, 07 Apr 2005 09:26:29 +0200] rev 15664

added some, peek, trace'; tuned;

wenzelm [Thu, 07 Apr 2005 09:26:18 +0200] rev 15663

added header;

wenzelm [Thu, 07 Apr 2005 09:26:10 +0200] rev 15662

improved comments;

wenzelm [Thu, 07 Apr 2005 09:25:33 +0200] rev 15661

reverted renaming of Some/None in comments and strings;

wenzelm [Thu, 07 Apr 2005 09:24:35 +0200] rev 15660

handle Option instead of OPTION;

nipkow [Wed, 06 Apr 2005 18:13:30 +0200] rev 15659

updated it

quigley [Wed, 06 Apr 2005 12:01:37 +0200] rev 15658

watcher.ML and watcher.sig changed. Debug files now write to tmp.

quigley [Tue, 05 Apr 2005 16:32:47 +0200] rev 15657

Current version of res_atp.ML - causes an error when I run it. C.Q.

isabelle