Wed, 30 Jul 2014 16:44:54 +0200 | kuncar | NEWS | changeset | files |
Tue, 29 Jul 2014 17:13:25 +0200 | hoelzl | better ordering of positive_integral renaming to nn_integral in NEWS | changeset | files |
Mon, 28 Jul 2014 12:31:30 +0200 | desharna | made tactic more robust w.r.t. dead variables; tuned; | changeset | files |