]>
2002-10-09 | Claudio Sacerdoti... | New DTD for the new exportation module. | blob | commitdiff | raw |
2002-05-22 | Claudio Sacerdoti... | Conjectures and Hypotheses inside every conjecture... | blob | commitdiff | raw | diff to current |
2002-05-20 | Claudio Sacerdoti... | Metavariables representation changed. Explicit substitu... | blob | commitdiff | raw | diff to current |
2002-04-08 | Claudio Sacerdoti... | Declaration and Definition renamed to Decl and Def... | blob | commitdiff | raw | diff to current |
2001-01-15 | Luca Padovani | added LICENSE | blob | commitdiff | raw | diff to current |
2000-12-07 | Claudio Sacerdoti... | Attribute type added to PROD | blob | commitdiff | raw | diff to current |
2000-12-04 | Claudio Sacerdoti... | Updated to V7 after V6-2 tag creation | blob | commitdiff | raw | diff to current |
2000-11-17 | Claudio Sacerdoti... | Initial revision | blob | commitdiff | raw | diff to current |