isabelle: Changelog

paulson [Tue, 11 May 2004 10:49:04 +0200] rev 14735

removal of prime characters

paulson [Tue, 11 May 2004 10:48:30 +0200] rev 14734

package needed for superscripts

paulson [Tue, 11 May 2004 10:48:00 +0200] rev 14733

conversion to clauses for ordinary resolution rather than ME

paulson [Tue, 11 May 2004 10:47:15 +0200] rev 14732

auto update

wenzelm [Mon, 10 May 2004 19:27:45 +0200] rev 14731

Pure: nested comments in inner syntax;

wenzelm [Mon, 10 May 2004 19:26:58 +0200] rev 14730

support nested comments;

wenzelm [Mon, 10 May 2004 19:26:42 +0200] rev 14729

changed Symbol.beginning;

wenzelm [Mon, 10 May 2004 19:26:25 +0200] rev 14728

tuned;

wenzelm [Mon, 10 May 2004 19:26:11 +0200] rev 14727

Source.of_list: no buffer limitation (now pointless due to tail-recursive Scan.repeat);

wenzelm [Mon, 10 May 2004 19:25:59 +0200] rev 14726

added Scan.list;

isabelle