]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb379a4) | patch
handles "elimCProp" value for class attribute
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jun 2005 17:21:08 +0000 (17:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jun 2005 17:21:08 +0000 (17:21 +0000)
commit2e8243f12626854bdc1e06f2e3d9160ff7901bd3
tree1322bbd660da9098d94acfce1dbf0f44f24caf5ctree | snapshot
parentcb379a463ec772df8855310fc9bf7276ea5f3f3dcommit | diff
handles "elimCProp" value for class attribute
helm/ocaml/cic/cicPushParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.