]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3581a8) | patch
test_instance.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 5 May 2005 14:15:51 +0000 (14:15 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 5 May 2005 14:15:51 +0000 (14:15 +0000)
commit35be38f22657bf00344e34fe75d7f3a5283832c1
tree737b72fdace3aa214d6c055ca3810959a0016ff3tree | snapshot
parentf3581a88f462038ba4d97d1702ae86650e269fc5commit | diff
test_instance.ma
helm/matita/tests/test_instance.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.