]>
2004-10-25 | Stefano Zacchiroli | - added var selection boolean to locate | blob | commitdiff | raw |
2004-10-22 | Andrea Asperti | implemented elim query | blob | commitdiff | raw | diff to current |
2004-10-22 | Andrea Asperti | bugfix: handle overflow in powerset cardinality | blob | commitdiff | raw | diff to current |
2004-10-22 | Stefano Zacchiroli | - reimplemented tacticChaser and friends in term of... | blob | commitdiff | raw | diff to current |
2004-10-21 | Stefano Zacchiroli | implemented in place old Filter_auto filtering | blob | commitdiff | raw | diff to current |
2004-10-20 | Stefano Zacchiroli | top level query module | blob | commitdiff | raw | diff to current |