projects / helm.git / history
| 2005-07-29 | Claudio Sacerdoti... | 0. core_notation.ma splitted into coq.moo and core_nota... | blob | commitdiff | raw |
| 2005-07-26 | Claudio Sacerdoti... | "Coq's " prefix added to every interpretation. | blob | commitdiff | raw | diff to current |
| 2005-07-01 | Enrico Tassi | first snapshot of separate compilation | blob | commitdiff | raw | diff to current |
| 2005-06-29 | Enrico Tassi | now baseuri is needed in each file (and its redefinitio... | blob | commitdiff | raw | diff to current |
| 2005-06-15 | Claudio Sacerdoti... | * parsing errors in tests were not detected and the... | blob | commitdiff | raw | diff to current |
| 2005-06-15 | Claudio Sacerdoti... | comments syntax changed | blob | commitdiff | raw | diff to current |
| 2005-06-14 | Claudio Sacerdoti... | qed missing | blob | commitdiff | raw | diff to current |
| 2005-05-31 | Enrico Tassi | fixed width fonts | blob | commitdiff | raw | diff to current |
| 2005-05-16 | Enrico Tassi | added examples | blob | commitdiff | raw | diff to current |