]>
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | commit | commitdiff |
2007-10-15 | Claudio Sacerdoti... | Stupid bug fixed (I deleted "assumption a" by error). | commit | commitdiff |
2007-07-26 | Enrico Tassi | auto -> autobatch | commit | commitdiff |
2006-12-30 | Ferruccio Guidi | dependence to legacy/coq.ma fixed | commit | commitdiff |
2006-12-01 | Ferruccio Guidi | some uris fixed | commit | commitdiff |
2006-10-02 | Enrico Tassi | ... | commit | commitdiff |
2006-09-29 | Enrico Tassi | ... | commit | commitdiff |
2006-07-18 | Claudio Sacerdoti... | baseuri for group.ma fixed | commit | commitdiff |
2006-04-05 | Enrico Tassi | create directory paramodulation for tests for paramodul... | commit | commitdiff |