]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39320e6) | patch
Updated to the new syntax for match.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 9 Jun 2005 10:33:47 +0000 (10:33 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 9 Jun 2005 10:33:47 +0000 (10:33 +0000)
commit13767ef97ac9fc6914db580fc0bd44a4437fe284
tree70748b51377c82b386c5d924ae47799c4f1d4c78tree | snapshot
parent39320e6e7bfe3278598278398389854bd721f756commit | diff
Updated to the new syntax for match.
helm/matita/tests/andrea.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.