]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 218c006) | patch
- added helm_ns and xhtml_ns (XHTML and HELM namespace, respectively)
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 Jan 2005 16:24:22 +0000 (16:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 Jan 2005 16:24:22 +0000 (16:24 +0000)
commitea4be3e2ab861e8569ee923aff9df23bb3fd8f43
tree8dced74a368dd2f806bd28e7acbf34ce137631fdtree | snapshot
parent218c0062f93dd3221b0266cfbc26fd9cf787ad18commit | diff
- added helm_ns and xhtml_ns (XHTML and HELM namespace, respectively)
- changed usage string so that it is a well fermod XHTML document (added
  namespace, quoted ampersands)
helm/ocaml/getter/http_getter_const.ml diff | blob | history
helm/ocaml/getter/http_getter_const.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.