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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 1 Jul 2005 14:40:19 +0000 (14:40 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 1 Jul 2005 14:40:19 +0000 (14:40 +0000)
commit	ebc063e65d908c9f35619c92454dbbe76bdabd40
tree	37f7e6b0b3c08dd0a6d73075a9e8052e59af6b02	tree \| snapshot
parent	7793efe5c9ac8ff4c71579e6fc0aa4764dd2bc9e	commit \| diff

first snapshot of separate compilation

31 files changed:

helm/matita/Makefile.in		diff \| blob \| history
helm/matita/Makefile.tests	[new file with mode: 0644]	blob
helm/matita/matita.lang		diff \| blob \| history
helm/matita/matitaDb.ml		diff \| blob \| history
helm/matita/matitaDb.mli		diff \| blob \| history
helm/matita/matitaSync.ml		diff \| blob \| history
helm/matita/matitaSync.mli		diff \| blob \| history
helm/matita/matitacLib.ml		diff \| blob \| history
helm/matita/matitaclean.ml		diff \| blob \| history
helm/matita/matitadep.ml		diff \| blob \| history
helm/matita/tests/apply.ma		diff \| blob \| history
helm/matita/tests/auto.ma		diff \| blob \| history
helm/matita/tests/baseuri.ma		diff \| blob \| history
helm/matita/tests/coercions.ma		diff \| blob \| history
helm/matita/tests/comments.ma		diff \| blob \| history
helm/matita/tests/fguidi.ma		diff \| blob \| history
helm/matita/tests/first.ma	[new file with mode: 0644]	blob
helm/matita/tests/fix_betareduction.ma		diff \| blob \| history
helm/matita/tests/inversion.ma		diff \| blob \| history
helm/matita/tests/letrec.ma		diff \| blob \| history
helm/matita/tests/match.ma		diff \| blob \| history
helm/matita/tests/match_inference.ma		diff \| blob \| history
helm/matita/tests/mysql_escaping.ma		diff \| blob \| history
helm/matita/tests/record.ma		diff \| blob \| history
helm/matita/tests/rewrite.ma		diff \| blob \| history
helm/matita/tests/second.ma	[new file with mode: 0644]	blob
helm/matita/tests/simpl.ma		diff \| blob \| history
helm/matita/tests/test2.ma		diff \| blob \| history
helm/matita/tests/test3.ma		diff \| blob \| history
helm/matita/tests/test4.ma		diff \| blob \| history
helm/matita/tests/third.ma	[new file with mode: 0644]	blob

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

RSS Atom