]> matita.cs.unibo.it Git - helm.git/commit
added mathitaGui.mli
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 Feb 2004 17:33:53 +0000 (17:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 Feb 2004 17:33:53 +0000 (17:33 +0000)
commit45420a5e9a763c6b5fdafa261f84d2e2370c8fc0
tree63c5ff096f7c22f9219feedad156aee8a5d84cb4
parentca8cb7b6303e56a91823b2a14891d7de0b0d4130
added mathitaGui.mli
helm/mathita/.depend
helm/mathita/mathitaGui.mli [new file with mode: 0644]