]>
2004-02-17 | Claudio Sacerdoti... | Porting of applyStylesheets.ml to Helm_registry. | blob | commitdiff | raw |
2004-02-11 | Stefano Zacchiroli | ported to helm registry | blob | commitdiff | raw | diff to current |
2004-01-22 | Andrea Asperti | Added all transformations for sequents. | blob | commitdiff | raw | diff to current |
2003-07-16 | Andrea Asperti | Several changes (the beginning of a new era???) | blob | commitdiff | raw | diff to current |