isabelle: Changelog

blanchet [Tue, 20 Aug 2013 11:42:52 +0200] rev 53095

learn MaSh facts on the fly

blanchet [Tue, 20 Aug 2013 11:42:51 +0200] rev 53094

allow MaSh query to do some learning as well

blanchet [Tue, 20 Aug 2013 11:42:50 +0200] rev 53093

tuning

blanchet [Tue, 20 Aug 2013 04:59:54 +0200] rev 53092

merged

blanchet [Tue, 20 Aug 2013 04:59:25 +0200] rev 53091

removed french option to manuals

blanchet [Mon, 19 Aug 2013 23:22:04 +0200] rev 53090

treat frees as both consts and vars, for more hits

blanchet [Mon, 19 Aug 2013 21:59:36 +0200] rev 53089

keep long names to stay on the safe side

wenzelm [Mon, 19 Aug 2013 20:47:09 +0200] rev 53088

tuned;

wenzelm [Mon, 19 Aug 2013 20:37:36 +0200] rev 53087

tuned signature;

blanchet [Mon, 19 Aug 2013 18:50:45 +0200] rev 53086

MaSh tweaking: shorter names + killed (broken) SNoW

isabelle