]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2ebb61) | patch
fix
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 30 May 2005 15:57:28 +0000 (15:57 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 30 May 2005 15:57:28 +0000 (15:57 +0000)
commit9e9de11063c35559135987c72328231b57e4a609
tree211618f705341cbe223a7d0078fe17915d77d406tree | snapshot
parentb2ebb6109cdb9d2aabc28b32dbfa78288b67b1accommit | diff
fix
helm/matita/tests/match.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.