isabelle: Changelog

wenzelm [Tue, 05 Jul 2005 18:11:59 +0200] rev 16694

tuned K;

wenzelm [Tue, 05 Jul 2005 16:49:15 +0200] rev 16693

fixed regexp grouping;

wenzelm [Tue, 05 Jul 2005 16:16:49 +0200] rev 16692

List.app; run both tests;

haftmann [Tue, 05 Jul 2005 15:49:19 +0200] rev 16691

added combinatros '||>' and '||>>' and fold_map fitting nicely to ST combinator '|->'

wenzelm [Tue, 05 Jul 2005 15:39:48 +0200] rev 16690

tuned;

wenzelm [Tue, 05 Jul 2005 14:07:08 +0200] rev 16689

* Pure: structure OrdList (cf. Pure/General/ord_list.ML); * Pure: more efficient orders for basic syntactic entities;

haftmann [Tue, 05 Jul 2005 13:57:23 +0200] rev 16688

added ST combinator '|->'

wenzelm [Tue, 05 Jul 2005 13:55:09 +0200] rev 16687

Symtab: use fast_string_ord instead of string_ord -- affects order of Symtab.dest etc.;

wenzelm [Tue, 05 Jul 2005 13:54:20 +0200] rev 16686

tuned;

wenzelm [Mon, 04 Jul 2005 20:20:50 +0200] rev 16685

made smlnj happy;

isabelle