]>
2005-05-27 | Enrico Tassi | removed debug prerr_endline | blob | commitdiff | raw |
2005-05-03 | Andrea Asperti | First version of instance. | blob | commitdiff | raw | diff to current |
2005-05-02 | Enrico Tassi | attached auto | blob | commitdiff | raw | diff to current |
2004-12-06 | Andrea Asperti | New version of auto with "width". | blob | commitdiff | raw | diff to current |
2004-11-30 | Andrea Asperti | Bug in the management of substitutions into auto corrected. | blob | commitdiff | raw | diff to current |
2004-11-04 | Andrea Asperti | Auto moved to a new file autoTactic.ml | blob | commitdiff | raw | diff to current |