]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15d5b4f) | patch
name fix due to changes in libhttp-ocaml (e.g. s/Http\.Daemon/Http_daemon/)
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Nov 2002 17:40:54 +0000 (17:40 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Nov 2002 17:40:54 +0000 (17:40 +0000)
commitb216b5a2df4e4218ee2e148cf5e8f11c4d4dbb1b
tree60c2602e1a35294433e06bdfd6812d8d6c64bf6atree | snapshot
parent15d5b4fd06c4f74fd33576170502b1e2cf05c1e8commit | diff
name fix due to changes in libhttp-ocaml (e.g. s/Http\.Daemon/Http_daemon/)
helm/proofChecker/proofChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.