]>
2007-04-26 | Ferruccio Guidi | procedural: bug fixes | blob | commitdiff | raw |
2007-02-12 | Ferruccio Guidi | LexiconAstPp: fixed syntax for include | blob | commitdiff | raw | diff to current |
2007-02-09 | Ferruccio Guidi | added option -dump to matitac for persistent macro... | blob | commitdiff | raw | diff to current |
2007-01-20 | Claudio Sacerdoti... | Just a few lines test to understand with Cezary Kalinsk... | blob | commitdiff | raw | diff to current |
2006-07-24 | Enrico Tassi | added timeout parameter to auto paramodulation. | blob | commitdiff | raw | diff to current |
2006-07-22 | Enrico Tassi | matitaprover | blob | commitdiff | raw | diff to current |
2006-02-23 | Stefano Zacchiroli | added "gragrep", grep-like tool over a bunch of grafite... | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |