]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eda1c80) | patch
attributes support (not yet in the pretty printer)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Jan 2005 09:29:48 +0000 (09:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Jan 2005 09:29:48 +0000 (09:29 +0000)
commit6a6d9950d0c3a7974bc0f0d8a85369b733138647
treee44c4dd7e6868e84ba7ad9eb1c49eae9ea32e8e7tree | snapshot
parenteda1c80730b099bafcf3c89ce1e8b4afbbfef4f7commit | diff
attributes support (not yet in the pretty printer)
helm/ocaml/cic_transformations/cic2Xml.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.