isabelle: Changelog

kleing [Tue, 09 Aug 2011 16:09:10 +0200] rev 44102

removed "extremely ambigous" warning; has been ignored by everyone for years.

wenzelm [Tue, 09 Aug 2011 22:30:33 +0200] rev 44101

misc tuning and clarification;

wenzelm [Tue, 09 Aug 2011 21:48:36 +0200] rev 44100

tuned whitespace;

blanchet [Tue, 09 Aug 2011 17:33:17 +0200] rev 44099

support local HOATPs

blanchet [Tue, 09 Aug 2011 17:33:17 +0200] rev 44098

document local HOATPs

blanchet [Tue, 09 Aug 2011 17:33:17 +0200] rev 44097

workaround THF parser limitation

blanchet [Tue, 09 Aug 2011 17:33:17 +0200] rev 44096

LEO-II also supports FOF

wenzelm [Tue, 09 Aug 2011 15:50:13 +0200] rev 44095

misc tuning and simplification;

wenzelm [Tue, 09 Aug 2011 15:41:00 +0200] rev 44094

updated documentation of method "split" according to e6a4bb832b46;

blanchet [Tue, 09 Aug 2011 09:39:49 +0200] rev 44093

updated references to CADE-23

isabelle