]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed4f1ff) | patch
fix
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 31 May 2005 09:40:15 +0000 (09:40 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 31 May 2005 09:40:15 +0000 (09:40 +0000)
commit65f34cf91a06b727d5387d92e70c875d15c88fd7
treedeabf0a1d6797fb290de34e24c49f394a9316489tree | snapshot
parented4f1ffcd1e53f768fffcbe404c8343cc8ca8608commit | diff
fix
helm/matita/tests/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.