]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e8f609) | 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)
commitcfd7bb0b9b4648a0e6b6e791f8800cd329a777a8
treeb24ba9ff34e26316a54ac488ced21f761cc14ab6tree | snapshot
parent2e8f609597740c63f1a88842edc9df87b0dd6cc9commit | diff
Use reference counting to keep track of camlp4 extensions so that the same
grammar rules are not added several times. (closes: #147)
components/lexicon/cicNotation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.