]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bd3b02) | patch
auto => auto new and other minor changes to make it compile.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Oct 2006 16:28:22 +0000 (16:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Oct 2006 16:28:22 +0000 (16:28 +0000)
commitfbf5c4d2d512a87e9668bcac49139ba87243dbcf
treeb82fbdef028095715edde77e8cdac2d779a8fc3ftree | snapshot
parent2bd3b029f7f67d9c616b7756278573cc9e96510ccommit | diff
auto => auto new and other minor changes to make it compile.
helm/software/matita/tests/fguidi.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.