matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 316aca7) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 18 Jan 2005 18:15:25 +0000 (18:15 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 18 Jan 2005 18:15:25 +0000 (18:15 +0000)
commit	ac813b7e251e4bac1a8a16befa628203775771ca
tree	4b4158404536808220e563a5024ca06b8d762882	tree \| snapshot
parent	316aca76611f6b909e0c53a50362e79a5336e474	commit \| diff

snapshot, notably:
- first commit of matitac

18 files changed:

helm/matita/.cvsignore		diff \| blob \| history
helm/matita/.depend		diff \| blob \| history
helm/matita/Makefile.in		diff \| blob \| history
helm/matita/configure.ac		diff \| blob \| history
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaConsole.ml		diff \| blob \| history
helm/matita/matitaConsole.mli		diff \| blob \| history
helm/matita/matitaGui.ml		diff \| blob \| history
helm/matita/matitaGui.mli		diff \| blob \| history
helm/matita/matitaInterpreter.ml		diff \| blob \| history
helm/matita/matitaInterpreter.mli		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaMathView.mli		diff \| blob \| history
helm/matita/matitaProof.ml		diff \| blob \| history
helm/matita/matitaProof.mli		diff \| blob \| history
helm/matita/matitaTypes.ml		diff \| blob \| history
helm/matita/matitaTypes.mli	[new file with mode: 0644]	blob
helm/matita/matitac.ml	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.