]> matita.cs.unibo.it Git - helm.git/commit
auto new => autobatch
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jul 2007 09:11:18 +0000 (09:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jul 2007 09:11:18 +0000 (09:11 +0000)
commit8526bd5238a810aab024b45827c6f438ff10df7a
treeb1604a99894003eccf248002abb148b30086d0e5
parent9756578c70c8197cfd8f43047263250255f8e429
auto new => autobatch
helm/software/matita/dama/ordered_fields_ch0.ma