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
Wed, 05 Dec 2012 15:58:48 +0100 Show search depth in the debug output of the measurability prover
hoelzl [Wed, 05 Dec 2012 15:58:48 +0100] rev 50386
Show search depth in the debug output of the measurability prover
Wed, 05 Dec 2012 15:58:45 +0100 Remove looping rule from measurability prover
hoelzl [Wed, 05 Dec 2012 15:58:45 +0100] rev 50385
Remove looping rule from measurability prover
Tue, 04 Dec 2012 20:44:18 +0100 rules for improper Lebesgue integrals (using tendsto at_top)
hoelzl [Tue, 04 Dec 2012 20:44:18 +0100] rev 50384
rules for improper Lebesgue integrals (using tendsto at_top)
Wed, 05 Dec 2012 13:25:06 +0100 take proximity into account for MaSh + fix a debilitating bug in feature generation
blanchet [Wed, 05 Dec 2012 13:25:06 +0100] rev 50383
take proximity into account for MaSh + fix a debilitating bug in feature generation
Wed, 05 Dec 2012 13:25:06 +0100 tuning
blanchet [Wed, 05 Dec 2012 13:25:06 +0100] rev 50382
tuning
Thu, 06 Dec 2012 11:37:02 +0100 clarified default button (cf. org/gjt/sp/jedit/gui/OptionsDialog.java);
wenzelm [Thu, 06 Dec 2012 11:37:02 +0100] rev 50381
clarified default button (cf. org/gjt/sp/jedit/gui/OptionsDialog.java);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip