]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a38807) | patch
Minor changes.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 5 Dec 2005 09:25:52 +0000 (09:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 5 Dec 2005 09:25:52 +0000 (09:25 +0000)
commitaaa8de04bb771bb61116f1b3f2e6d2e36a326e9b
tree1c8dc460061baf9941b2e866515815027154f345tree | snapshot
parent6a388079100673e4f71d28a8a53ea029ee1b08dfcommit | diff
Minor changes.
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.