]>
2002-10-25 | Claudio Sacerdoti... | - Porting of all the code to the new DTD format (with... | blob | commitdiff | raw |
2002-10-25 | no author | This commit was manufactured by cvs2svn to create branch | blob | commitdiff | raw | diff to current |
2002-10-09 | no author | This commit was manufactured by cvs2svn to create branch | blob | commitdiff | raw |
2002-06-12 | Claudio Sacerdoti... | Abst removed from the DTD. | blob | commitdiff | raw | diff to current |
2002-05-20 | Claudio Sacerdoti... | New experimental commit: metavariables representation... | blob | commitdiff | raw | diff to current |
2001-12-04 | Claudio Sacerdoti... | ppterm added | blob | commitdiff | raw | diff to current |
2001-12-03 | Claudio Sacerdoti... | * Major code cleanup. | blob | commitdiff | raw | diff to current |
2001-11-26 | Claudio Sacerdoti... | HELM OCaml libraries with findlib support. | blob | commitdiff | raw | diff to current |