]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5abd42) | patch
added examples
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 13:40:53 +0000 (13:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 13:40:53 +0000 (13:40 +0000)
commit7c08187b8e1af81817927151aa07d52b72c7aa4d
tree372ed05a1a2cbb3fcecf4a6e067536fc2d3c6bectree | snapshot
parentc5abd4206112221708a06dbb1bb9df1eb38a451ccommit | diff
added examples
helm/matita/tests/test4.ma [new file with mode: 0644] blob
helm/matita/tests/test5.ma [new file with mode: 0644] blob
helm/matita/tests/test6.ma [new file with mode: 0644] blob
helm/matita/tests/test7.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.