]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a28be5) | patch
Minor changes.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 6 Dec 2005 11:57:34 +0000 (11:57 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 6 Dec 2005 11:57:34 +0000 (11:57 +0000)
commit804b1a97072cf1d1c76bc32338d0b068bcb2159f
treef9b2b9202024270a985634ad7e766f5f4f9b2fa4tree | snapshot
parent7a28be581787d98b13ffae6d3042261cde919d4fcommit | diff
Minor changes.
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.