projects / helm.git / history
| 2005-01-21 | Stefano Zacchiroli | added attributes | blob | commitdiff | raw |
| 2003-07-16 | Claudio Sacerdoti... | Xml.token is now namespace-aware. As a consequence... | blob | commitdiff | raw | diff to current |
| 2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |
| 2002-06-12 | Claudio Sacerdoti... | Abst removed from the DTD. | blob | commitdiff | raw | diff to current |
| 2002-05-22 | Claudio Sacerdoti... | Conjectures and Hypotheses inside every conjecture... | blob | commitdiff | raw | diff to current |
| 2002-05-20 | Claudio Sacerdoti... | New experimental commit: metavariables representation... | blob | commitdiff | raw | diff to current |
| 2001-12-03 | Claudio Sacerdoti... | * Major code cleanup. | blob | commitdiff | raw | diff to current |
| 2001-11-29 | Claudio Sacerdoti... | * .mli added where needed | blob | commitdiff | raw | diff to current |
| 2001-11-26 | Claudio Sacerdoti... | HELM OCaml libraries with findlib support. | blob | commitdiff | raw | diff to current |