]>
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | commit | commitdiff |
2006-01-09 | Stefano Zacchiroli | changes location of coq.ma (now "legacy/coq.ma") | commit | commitdiff |
2005-09-13 | Claudio Sacerdoti... | ... | commit | commitdiff |
2005-09-13 | Claudio Sacerdoti... | ... | commit | commitdiff |
2005-07-29 | Claudio Sacerdoti... | 0. core_notation.ma splitted into coq.moo and core_nota... | commit | commitdiff |
2005-07-26 | Claudio Sacerdoti... | "Coq's " prefix added to every interpretation. | commit | commitdiff |
2005-07-11 | Enrico Tassi | fix | commit | commitdiff |
2005-07-01 | Enrico Tassi | first snapshot of separate compilation | commit | commitdiff |
2005-06-29 | Enrico Tassi | now baseuri is needed in each file (and its redefinitio... | commit | commitdiff |
2005-06-15 | Claudio Sacerdoti... | * parsing errors in tests were not detected and the... | commit | commitdiff |
2005-06-09 | Claudio Sacerdoti... | intro ==> intros | commit | commitdiff |
2005-05-25 | Enrico Tassi | fix | commit | commitdiff |