]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7482cad) | patch
added test for change
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 Jul 2005 13:44:39 +0000 (13:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 6 Jul 2005 13:44:39 +0000 (13:44 +0000)
commit0e10d3bcb924a36596134edfa3d82431c7794e09
treef9a403620a45d3980009cac22deb09acbd17407atree | snapshot
parent7482cad729419e16abb0c68ea04ec13513996988commit | diff
added test for change
helm/matita/tests/change.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.