projects / helm.git / history
| 2002-11-04 | Claudio Sacerdoti... | Quick fix to view metadata theories again. The case... | blob | commitdiff | raw |
| 2002-10-22 | Matteo Selmi | - removed checkings for objects Definition and Axiom. | blob | commitdiff | raw | diff to current |
| 2001-09-14 | Claudio Sacerdoti... | * getter.xsl added | blob | commitdiff | raw | diff to current |
| 2001-07-16 | Claudio Sacerdoti... | Two parameters used but not declared. Fixed. | blob | commitdiff | raw | diff to current |
| 2001-06-04 | Claudio Sacerdoti... | xsl:import to cope with new xalan version | blob | commitdiff | raw | diff to current |
| 2001-05-08 | Claudio Sacerdoti... | Many improvements in theory-rendering. | blob | commitdiff | raw | diff to current |
| 2001-03-21 | Claudio Sacerdoti... | headercontent.xsl added to have all the notational... | blob | commitdiff | raw | diff to current |
| 2001-03-19 | Claudio Sacerdoti... | getciconly ==> getxml | blob | commitdiff | raw | diff to current |
| 2001-03-19 | Irene Schena | Modified Files: | blob | commitdiff | raw | diff to current |