]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 1 Oct 2004 16:32:36 +0000 (16:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 1 Oct 2004 16:32:36 +0000 (16:32 +0000)
commit06c2b37f3d7d4e14cabeef3b18211e5d12b9b4eb
treef298f26f87c024cc780955670f2111d1246f63b5
parent015263908d9142798bcbddbe4c4d13f71e08c5c3
snapshot
helm/matita/matita.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitaProof.ml
helm/matita/matitaTypes.ml