]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo-panel/control.html
----------------------------------------------------------------------
[helm.git] / helm / uwobo-panel / control.html
2001-11-12 Claudio Sacerdoti... No more absolute URLs: the getxslt method of the Getter...
2001-10-24 Claudio Sacerdoti... metadataControl and demultiplexMutual merged together...
2001-10-24 Claudio Sacerdoti... Stylesheet to add links menus to graphs added.
2001-10-01 Claudio Sacerdoti... New stylesheets for graphs added
2001-06-29 Claudio Sacerdoti... mk_meta_theory.xsl added
2001-06-27 Claudio Sacerdoti... First version of metadata interface.
2001-06-22 Claudio Sacerdoti... resolve_topurl.xsl added
2001-06-18 Claudio Sacerdoti... drop_coercions added
2001-05-04 Claudio Sacerdoti... New standard stylesheet genmmlid.xsl added.
2001-04-06 Luca Padovanicontrol.html, control.js: now commands replace the...
2001-04-06 Luca PadovaniInitial revision