]>
2023-02-14 | Claudio Sacerdoti... | mod change (-x) | commit | commitdiff |
2023-02-04 | Claudio Sacerdoti... | mod change (-x) | commit | commitdiff |
2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | commit | commitdiff |
2006-12-30 | Ferruccio Guidi | dependence to legacy/coq.ma fixed | commit | commitdiff |
2006-10-09 | Claudio Sacerdoti... | auto => auto new everywhere + minor updates to make... | commit | commitdiff |
2006-09-29 | Enrico Tassi | fixed (dasabled paramod) | commit | commitdiff |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | commit | commitdiff |