]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3a9792) | patch
fixed .mli syntax for polymorphic methods (apparently changed between
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Aug 2004 13:17:52 +0000 (13:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Aug 2004 13:17:52 +0000 (13:17 +0000)
commit2a1ba8d02665168aeb6c301188f21d98e4f40730
tree7b773d9df20c78edf717331edab493828fb3b7a1tree | snapshot
parentf3a9792d6db5799d32bc11c99c78c8b180f58933commit | diff
fixed .mli syntax for polymorphic methods (apparently changed between
ocaml 3.07 and ocaml 3.08)
helm/ocaml/thread/threadSafe.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.