]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo-panel
shanpshot
[helm.git] / helm / uwobo-panel /
2004-06-10 Claudio Sacerdoti... Added search.xsl (S).
2004-06-09 Claudio Sacerdoti... - new stylesheets in the predefined set
2004-05-25 Luca PadovaniNew: UWOBO profiles added.
2004-02-17 Claudio Sacerdoti... 68080 (that overflows ; -) ==> 38080
2004-02-17 Claudio Sacerdoti... Any residual reference to tomcat and servlets changed...
2003-12-19 Luca Padovani* removed email address
2003-07-16 Luca Padovani* syntax update for "remove all stylesheets" in control.js
2003-05-15 Claudio Sacerdoti... This commit undoes part of the previous commit, where...
2003-05-15 Claudio Sacerdoti... New: two methods have been added to kill UWOBO and...
2003-03-18 Claudio Sacerdoti... The reload method requires now the "keys" parameter...
2002-06-06 Claudio Sacerdoti... The GET request of the method "RemoveAllPredefined...
2002-06-06 Claudio Sacerdoti... dummy=0 was inserted in the GET part of the HTTP reques...
2001-11-12 Claudio Sacerdoti... No more absolute URLs: the getxslt method of the Getter...
2001-11-06 Claudio Sacerdoti... New version for UWOBO 1.2.
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-12 Claudio Sacerdoti... panel ==> uwobo-panel
2001-04-06 Luca Padovanicontrol.html, control.js: now commands replace the...
2001-04-06 Luca PadovaniInitial revision