isabelle: Changelog

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

eliminated special handling of init case, now that "mash.py" has been optimized to handle sequences of add gracefully

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

more MaSh docs

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

mention MaSh in docs

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

use good old MePo filter for SMT solvers by default, since arithmetic is built-in for them

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

added locality as a MaSh feature

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

learn on explicit "min" command but do the learning in a thread, since it may take a couple of seconds

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

learn command in MaSh

blanchet [Fri, 20 Jul 2012 22:19:45 +0200] rev 48382

added possibility of running external MaSh commands asynchronously

blanchet [Fri, 20 Jul 2012 22:19:45 +0200] rev 48381

renamed ML structures

blanchet [Fri, 20 Jul 2012 22:19:45 +0200] rev 48380

renamed ML files

isabelle