]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a2985e) | patch
Fixes previous wrong commit.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 27 Mar 2011 13:18:36 +0000 (13:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 27 Mar 2011 13:18:36 +0000 (13:18 +0000)
commit98f0fac6d03367be776303e7ba353b75878aaa40
treec04d5bf2cc717b821016e6af6bbaff9a0345c107tree | snapshot
parent6a2985ee4de00c81115d0c008baa6aba05bca6bccommit | diff
Fixes previous wrong commit.
matita/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.