| Sun, 21 Oct 2007 14:21:45 +0200 | wenzelm | avoid very slow metis invocation; | changeset | files |
| Sun, 21 Oct 2007 14:21:44 +0200 | wenzelm | misc tuning; | changeset | files |
| Sun, 21 Oct 2007 12:33:12 +0200 | chaieb | Fixed Bug in instantiation of Groebner Bases to field: dest_const used to raise TERM where the tactic handles ERROR | changeset | files |