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
wenzelm [Fri, 08 Aug 2008 13:36:44 +0200] rev 27791
made SML/NJ happy;
krauss [Fri, 08 Aug 2008 09:44:16 +0200] rev 27790
FundefLib.try_proof : attempt a proof and see if it works
nipkow [Fri, 08 Aug 2008 09:26:15 +0200] rev 27789
added lemmas
wenzelm [Thu, 07 Aug 2008 23:56:45 +0200] rev 27788
inner_syntax markup is back;
wenzelm [Thu, 07 Aug 2008 23:32:49 +0200] rev 27787
disabled inner_syntax markup for now;
wenzelm [Thu, 07 Aug 2008 22:32:03 +0200] rev 27786
added read_token -- with optional YXML encoding of position;
tuned parse operations: print position instead of echoing input (now encoded!);
do not export obsolete read operation;
wenzelm [Thu, 07 Aug 2008 22:32:01 +0200] rev 27785
parse_token: use Syntax.read_token, pass full position information;
wenzelm [Thu, 07 Aug 2008 21:13:01 +0200] rev 27784
tuned;