]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 244d65f) | patch
only regular files are ending in .ma are now searched
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 11 Jul 2005 08:49:03 +0000 (08:49 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 11 Jul 2005 08:49:03 +0000 (08:49 +0000)
commite5a4502fa68442dad1b771e496b544c6770df751
tree16d5d6322a52e1bb8f3f9006dbee1bf84a3c7014tree | snapshot
parent244d65f63ca6a736b871f9f91328fe8c5524ff05commit | diff
only regular files are ending in .ma are now searched
helm/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.