isabelle: Changelog

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48400

minimal maxes + tuning

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48399

learn from SMT proofs when they can be minimized by Metis

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48398

clean up interesting constants a bit

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48397

convenience

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48396

name tuning

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48395

learning should honor the fact override and the chained facts

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48394

fixed various issues with MaSh's file handling + tune output + generate local facts again + handle nameless facts gracefully

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48393

MaSh docs

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48392

added "learn_from_atp" command to MaSh, for patient users

blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48391

get rid of redundant "xxx_INSTALLED" environment variabl

isabelle