]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 895d99f) | patch
added a generic (yet rather trivial) module for reference counting
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Feb 2006 00:15:53 +0000 (00:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Feb 2006 00:15:53 +0000 (00:15 +0000)
commit2e8f609597740c63f1a88842edc9df87b0dd6cc9
treef2cc0ae3aa3b9e4f9737198ac970207dece0bdedtree | snapshot
parent895d99fd68f7f4938e9feee68e75d8c896dbe0e0commit | diff
added a generic (yet rather trivial) module for reference counting
components/extlib/.depend diff | blob | history
components/extlib/Makefile diff | blob | history
components/extlib/refCounter.ml [new file with mode: 0644] blob
components/extlib/refCounter.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.