]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca3eeb0) | patch
Use reference counting to keep track of camlp4 extensions so that the same
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Feb 2006 00:18:04 +0000 (00:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Feb 2006 00:18:04 +0000 (00:18 +0000)
commitc0bc1be19b2bb2c5e3dd7f68880b26990b932118
tree761030ca6e1bf0dc15658c5a240d24dd536021d2tree | snapshot
parentca3eeb009d1e694523e16c741d04c1fad3be4f02commit | diff
Use reference counting to keep track of camlp4 extensions so that the same
grammar rules are not added several times. (closes: #147)
helm/software/components/lexicon/cicNotation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.