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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 26 Sep 2005 08:58:45 +0000 (08:58 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 26 Sep 2005 08:58:45 +0000 (08:58 +0000)
commit	b2f2e47efe1e01df81cb7659c30eeb76f1f830da
tree	c0a13991d52dde37a377b3a0c62563db3e6cb344	tree \| snapshot
parent	2c22c8fe144cbce796168ffd9843a87f06dcfa76	commit \| diff

- added integrity checks on .moo files
- removed a lot of auxiliary functions from MatitaMisc since they are now part of our extlib

17 files changed:

helm/matita/.depend		diff \| blob \| history
helm/matita/Makefile.in		diff \| blob \| history
helm/matita/dump_moo.ml	[new file with mode: 0644]	blob
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaEngine.ml		diff \| blob \| history
helm/matita/matitaExcPp.ml		diff \| blob \| history
helm/matita/matitaGui.ml		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaMisc.ml		diff \| blob \| history
helm/matita/matitaMisc.mli		diff \| blob \| history
helm/matita/matitaMoo.ml	[new file with mode: 0644]	blob
helm/matita/matitaMoo.mli	[new file with mode: 0644]	blob
helm/matita/matitaScript.ml		diff \| blob \| history
helm/matita/matitaSync.ml		diff \| blob \| history
helm/matita/matitacLib.ml		diff \| blob \| history
helm/matita/matitacLib.mli		diff \| blob \| history
helm/matita/matitamakeLib.ml		diff \| blob \| history

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