]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57b996a) | patch
added binary version of coq.moo and the corresponding source version
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Sep 2005 13:47:43 +0000 (13:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Sep 2005 13:47:43 +0000 (13:47 +0000)
commit56062350e31144f05421de6f895101ab3defc324
treeb9b53d6ba617dee9e47f8a2a9f495215d6ba5d91tree | snapshot
parent57b996a466e62a8696c46d1d58883c4fade7c59ecommit | diff
added binary version of coq.moo and the corresponding source version
helm/matita/coq.ma [new file with mode: 0644] blob
helm/matita/coq.moo [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.