isabelle: Changelog

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;

isabelle