]>
2004-05-18 | Claudio Sacerdoti... | * tactics/Makefile fixed (to remove duplicate .mli... | blob | commitdiff | raw |
2004-05-17 | Matteo Selmi | Added a filter for uris in tactic "auto". | blob | commitdiff | raw | diff to current |
2004-05-17 | Stefano Zacchiroli | first check in of statefulProofEngine | blob | commitdiff | raw | diff to current |
2004-05-10 | Andrea Asperti | Adding file match_concl | blob | commitdiff | raw | diff to current |
2004-04-22 | Enrico Tassi | fourier.mli addedto interface files. | blob | commitdiff | raw | diff to current |
2004-04-22 | Claudio Sacerdoti... | IMPLEMENTATION_FILES now generated from INTERFACE_FILES. | blob | commitdiff | raw | diff to current |
2004-03-12 | acerioni | First implementation of the Auto tactic. | blob | commitdiff | raw | diff to current |
2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |