]> matita.cs.unibo.it Git - helm.git/commit
dump_moo.opt
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2005 11:38:56 +0000 (11:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2005 11:38:56 +0000 (11:38 +0000)
commit3cb94e90fc5ee51fed59c9169aa9a08db6389210
tree51f5b92d84dd92787a8db8104522156100849209
parentd496ec90e52ace62d11d79badb3f6673ddd73c3a
dump_moo.opt
helm/matita/.cvsignore