projects / helm.git / history
| 2004-06-08 | Claudio Sacerdoti... | New attributes for ht:* elements proposed by Nijmegen. | blob | commitdiff | raw |
| 2004-04-04 | Claudio Sacerdoti... | ht:DEFINITION/Definition differentiated into | blob | commitdiff | raw | diff to current |
| 2004-04-01 | Claudio Sacerdoti... | <VARIABLE as="LocalFact"/> added | blob | commitdiff | raw | diff to current |
| 2004-03-30 | Claudio Sacerdoti... | - provastruct.theory.xml removed (what was that exactly?) | blob | commitdiff | raw | diff to current |
| 2001-05-10 | Irene Schena | Modified Files: | blob | commitdiff | raw | diff to current |
| 2001-03-19 | Irene Schena | Modified Files: | blob | commitdiff | raw | diff to current |
| 2001-01-15 | Luca Padovani | added LICENSE | blob | commitdiff | raw | diff to current |
| 2000-11-17 | Claudio Sacerdoti... | Initial revision | blob | commitdiff | raw | diff to current |