isabelle: Changelog

wenzelm [Sat, 09 Aug 2008 00:09:31 +0200] rev 27798

YXML.parse: allow text without markup, potentially empty;

wenzelm [Sat, 09 Aug 2008 00:09:29 +0200] rev 27797

added content; simplified implode: interface and permissive padding via Position.distance_of; added range; renamed implode_delim to implode_range;

wenzelm [Sat, 09 Aug 2008 00:09:26 +0200] rev 27796

added distance_of (permissive version); added no_range; tuned;

wenzelm [Fri, 08 Aug 2008 19:29:01 +0200] rev 27795

count offset as well; more uniform treatment of invalid fields; tuned;

wenzelm [Fri, 08 Aug 2008 19:28:59 +0200] rev 27794

added offset/end_offset;

wenzelm [Fri, 08 Aug 2008 16:54:33 +0200] rev 27793

tuned formatting;

krauss [Fri, 08 Aug 2008 15:36:40 +0200] rev 27792

clean up dead code

isabelle