]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a07fbd) | patch
fix
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 24 May 2005 10:09:08 +0000 (10:09 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 24 May 2005 10:09:08 +0000 (10:09 +0000)
commit4faa2b8428b153e5e80c758880236178399fa0fe
tree63918a215af5359b16a8d263d4ed1d1005cc6cf9tree | snapshot
parent6a07fbdd857a5e2aeb291af22888fbe6282562a6commit | diff
fix
helm/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.