]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6464606) | patch
* very small fixes here and there
authorLuca Padovani <luca.padovani@unito.it>
Mon, 27 Jan 2003 14:32:07 +0000 (14:32 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 27 Jan 2003 14:32:07 +0000 (14:32 +0000)
commit95fd259a475ed0aa4c61ec203d30ff3e81601c29
tree48c7ed19fc474480baa0283bf3061ba3ecf0ff49tree | snapshot
parent646460657ac3945ba1c5ed6817fde4b5c806d175commit | diff
* very small fixes here and there
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.