]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42b4217) | patch
Ported to ocaml 3.04 (fixed problems with commuting label mode).
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 20 Jan 2002 14:45:07 +0000 (14:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 20 Jan 2002 14:45:07 +0000 (14:45 +0000)
commitdf7d8a778a7ef0930cad0d10c7b5746d6dc859b8
tree4980260ff74e22599ed382945c51867cef2a77e3tree | snapshot
parent42b42173858277463015d75ca1cbdf3f42060bcecommit | diff
Ported to ocaml 3.04 (fixed problems with commuting label mode).
helm/DEVEL/mlminidom/AUTHORS diff | blob | history
helm/DEVEL/mlminidom/configure.in diff | blob | history
helm/DEVEL/mlminidom/minidom.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.