]>
2006-02-02 | Stefano Zacchiroli | no more multiple configure/Makefile, just one for both... | blob | commitdiff | raw |
2006-01-31 | Enrico Tassi | some makefile work | blob | commitdiff | raw | diff to current |
2006-01-12 | Enrico Tassi | fixed coercions undoooing | blob | commitdiff | raw | diff to current |
2006-01-12 | Enrico Tassi | fix | blob | commitdiff | raw | diff to current |
2006-01-12 | Enrico Tassi | fixes for paramodulation relocation | blob | commitdiff | raw | diff to current |
2006-01-12 | Andrea Asperti | Moved paramodulation inside tactics. | blob | commitdiff | raw | diff to current |