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: 84281bf) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 24 Jul 2006 09:32:54 +0000 (09:32 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 24 Jul 2006 09:32:54 +0000 (09:32 +0000)
commit	d0e212dcd4bdbeaee9979e53bedd3258cd8e8d0f
tree	d48c5813bfa3315075199a74a8c4ae366920680d	tree \| snapshot
parent	84281bf5b8e529ae7b30a35efed0340c69f6b849	commit \| diff

more work on matitaprover (no more XML and buris are created).
now matita can start on a .p file.

components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
components/tactics/paramodulation/equality.ml		diff \| blob \| history
matita/.depend		diff \| blob \| history
matita/Makefile		diff \| blob \| history
matita/matita.ml		diff \| blob \| history
matita/matitaGui.ml		diff \| blob \| history
matita/matitaScript.ml		diff \| blob \| history
matita/matitaScript.mli		diff \| blob \| history
matita/matitaprover.ml		diff \| blob \| history
matita/matitaprover.mli	[new file with mode: 0644]	blob
matita/tests/TPTP/da_indagare_perche_non_astrarre_i_letin_sulle_meta_del_body_spacca_tutto.txt	[new file with mode: 0644]	blob

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