Thu, 06 Dec 2012 11:25:10 +0100 more feature tweaks
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50396
more feature tweaks
Thu, 06 Dec 2012 11:25:10 +0100 prioritize chained facts
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50395
prioritize chained facts
Thu, 06 Dec 2012 11:25:10 +0100 more MaSh feature tweaking
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50394
more MaSh feature tweaking
Thu, 06 Dec 2012 11:25:10 +0100 record free variables as a MaSh feature
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50393
record free variables as a MaSh feature
Thu, 06 Dec 2012 11:25:10 +0100 expand type classes into their ancestors for MaSh
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50392
expand type classes into their ancestors for MaSh
Thu, 06 Dec 2012 11:25:10 +0100 tweaked MaSh features, based on comments by Josef Urban
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50391
tweaked MaSh features, based on comments by Josef Urban
Thu, 06 Dec 2012 11:25:10 +0100 increase weight of local facts again (MaSh)
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50390
increase weight of local facts again (MaSh)
Thu, 06 Dec 2012 11:25:10 +0100 simplify code now that "mash.py" supports weights
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50389
simplify code now that "mash.py" supports weights
Thu, 06 Dec 2012 11:25:10 +0100 added weights to MaSh (by Daniel Kuehlwein)
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50388
added weights to MaSh (by Daniel Kuehlwein)
Wed, 05 Dec 2012 15:59:08 +0100 Move the measurability prover to its own file
hoelzl [Wed, 05 Dec 2012 15:59:08 +0100] rev 50387
Move the measurability prover to its own file
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip