]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 921ba3b) | patch
exported is_blank
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 14:32:41 +0000 (14:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 14:32:41 +0000 (14:32 +0000)
commit85c1a17aaff698e2897cbddfb81f03044737b2da
tree5a2a131a9fdee15d1e9155cbbed46a84e09679a6tree | snapshot
parent921ba3b356400323b440a073a7030c5386d3b421commit | diff
exported is_blank
helm/ocaml/extlib/hExtlib.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.