projects / helm.git / history
| 2002-11-21 | Claudio Sacerdoti... | The notational stylesheets from CIC to MathML Content... | commit | commitdiff |
| 2001-11-05 | Andrea Asperti | Algebra notation. | commit | commitdiff |
| 2001-04-03 | Andrea Asperti | Complete management of inductive types. | 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-11-03 | Claudio Sacerdoti... | Set notation now working again | commit | commitdiff |
| 2000-10-31 | Claudio Sacerdoti... | Initial revision | commit | commitdiff |