tuned -- no dependency on exit function;

more ML_System operations;

restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs

handling partiality in the case where the equality optimisation is applied

merged

updated File.find_files;

more abstract file system operations in Scala, corresponding to ML version;

eliminated obsolete session_manager.scala;

more explicit java.io.{File => JFile};

tune Mesh filter

faster maximal node computation

honor suggested MaSh weights

use CVC3 and Yices by default if they are available and there are enough cores

relearn ATP proofs

don't store fresh names in fact graph, since these cannot be the parents of any other facts

added MaSh to news

cached ancestor computation

minimal maxes + tuning

learn from SMT proofs when they can be minimized by Metis

clean up interesting constants a bit

convenience

name tuning

learning should honor the fact override and the chained facts

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

MaSh docs

added "learn_from_atp" command to MaSh, for patient users

get rid of redundant "xxx_INSTALLED" environment variabl

add versioning to MaSh state + cleanup dead code

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

more MaSh docs