]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7c24db) | patch
removed textual version of coq's moo file
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Sep 2005 13:47:09 +0000 (13:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Sep 2005 13:47:09 +0000 (13:47 +0000)
commit57b996a466e62a8696c46d1d58883c4fade7c59e
treea50e7a4df3b1d2c612cdd7c487c08bd7a030912dtree | snapshot
parentd7c24dbca4f5e2baef606669db70cc640c02d38dcommit | diff
removed textual version of coq's moo file
helm/matita/coq.moo [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.