]> matita.cs.unibo.it Git - helm.git/commit
Reindentation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jun 2003 17:12:14 +0000 (17:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jun 2003 17:12:14 +0000 (17:12 +0000)
commit8d7dc53276ecfe646b2680a0802f98875c43e11e
treee4266fb976b32c51ac47ae80ecd4e29a37aec4b3
parentaea79f1d6ccdec690221166bc2f464fae52a109e
Reindentation.
helm/gTopLevel/cic2Xml.ml