projects / helm.git / history
| 2002-11-21 | Claudio Sacerdoti... | The notational stylesheets from CIC to MathML Content... | commit | commitdiff |
| 2001-10-22 | Ferruccio Guidi | template mk-mml-op-noannot was modified to allow hidden... | commit | commitdiff |
| 2001-07-24 | Irene Schena | --------------------------------------------------... | commit | commitdiff |
| 2001-04-05 | Ferruccio Guidi | contentlib.xsl improved, now handles eq eqT | commit | commitdiff |
| 2001-04-05 | Andrea Asperti | Bug nat_double_ind solved. | commit | commitdiff |
| 2001-03-20 | Ferruccio Guidi | added notation for arithmetics | commit | commitdiff |
| 2001-02-06 | Irene Schena | Modified Files: | commit | commitdiff |
| 2001-01-15 | Luca Padovani | added LICENSE | commit | commitdiff |
| 2000-12-04 | Claudio Sacerdoti... | Update to V7 after V6-2 tag creationg | commit | commitdiff |
| 2000-11-29 | Irene Schena | Modified Files: | commit | commitdiff |
| 2000-11-24 | Claudio Sacerdoti... | http_getter reimplemented from scratch | commit | commitdiff |
| 2000-10-31 | Claudio Sacerdoti... | Initial revision | commit | commitdiff |