]>
2006-02-02 | Stefano Zacchiroli | (dis)organized web stuff | commit | commitdiff |
2004-06-08 | Claudio Sacerdoti... | New attributes for ht:* elements proposed by Nijmegen. | commit | commitdiff |
2004-04-04 | Claudio Sacerdoti... | ht:DEFINITION/Definition differentiated into | commit | commitdiff |
2004-04-01 | Claudio Sacerdoti... | <VARIABLE as="LocalFact"/> added | commit | commitdiff |
2004-03-30 | Claudio Sacerdoti... | - provastruct.theory.xml removed (what was that exactly?) | commit | commitdiff |
2001-05-10 | Irene Schena | Modified Files: | commit | commitdiff |
2001-03-19 | Irene Schena | Modified Files: | commit | commitdiff |
2001-01-15 | Luca Padovani | added LICENSE | commit | commitdiff |
2000-11-17 | Claudio Sacerdoti... | Initial revision | commit | commitdiff |