]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1564f1) | patch
handling of variables with body
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 May 2005 09:01:45 +0000 (09:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 May 2005 09:01:45 +0000 (09:01 +0000)
commit71215a7e5b10535b538776680dce5dc02e118c2f
treea590af9a7fa022a56031c2202188b0f79e95fcc4tree | snapshot
parentc1564f164c3acee3b74593ebc2154d718db7856bcommit | diff
handling of variables with body
helm/ocaml/metadata/metadataExtractor.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.