blanchet [Thu, 06 Dec 2012 16:07:09 +0100] rev 50402
use right names in MePo exporter
blanchet [Thu, 06 Dec 2012 15:54:17 +0100] rev 50401
parse more liberal MaSh suggestion syntax (for the eval driver)
wenzelm [Thu, 06 Dec 2012 11:42:23 +0100] rev 50400
merged
blanchet [Thu, 06 Dec 2012 11:27:44 +0100] rev 50399
made Python code compile again (by Daniel K.)
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50398
tweaked MaSh proximity
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50397
reduce max number of dependencies for MaSh to get rid of junk
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50396
more feature tweaks
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50395
prioritize chained facts
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50394
more MaSh feature tweaking
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50393
record free variables as a MaSh feature
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50392
expand type classes into their ancestors for MaSh
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50391
tweaked MaSh features, based on comments by Josef Urban
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50390
increase weight of local facts again (MaSh)
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50389
simplify code now that "mash.py" supports weights
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50388
added weights to MaSh (by Daniel Kuehlwein)
hoelzl [Wed, 05 Dec 2012 15:59:08 +0100] rev 50387
Move the measurability prover to its own file