]>
2001-10-01 | Claudio Sacerdoti... | New stylesheets for graphs added | blob | commitdiff | raw |
2001-06-29 | Claudio Sacerdoti... | mk_meta_theory.xsl added | blob | commitdiff | raw | diff to current |
2001-06-27 | Claudio Sacerdoti... | First version of metadata interface. | blob | commitdiff | raw | diff to current |
2001-06-22 | Claudio Sacerdoti... | resolve_topurl.xsl added | blob | commitdiff | raw | diff to current |
2001-06-18 | Claudio Sacerdoti... | drop_coercions added | blob | commitdiff | raw | diff to current |
2001-05-04 | Claudio Sacerdoti... | New standard stylesheet genmmlid.xsl added. | blob | commitdiff | raw | diff to current |
2001-04-06 | Luca Padovani | control.html, control.js: now commands replace the... | blob | commitdiff | raw | diff to current |
2001-04-06 | Luca Padovani | Initial revision | blob | commitdiff | raw | diff to current |