]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 533cbf9) | patch
tests changing under a binder
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 8 Sep 2005 10:37:34 +0000 (10:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 8 Sep 2005 10:37:34 +0000 (10:37 +0000)
commit47815ea29fe1375cc7497c16b6778ccdbe576537
tree0902fc53a4dd3d152adf0c3bc6626eae01bee58ctree | snapshot
parent533cbf996d38fabd40195e2184191d350b831ad2commit | diff
tests changing under a binder
helm/matita/tests/change.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.