]> matita.cs.unibo.it Git - helm.git/commit
more work on matitaprover (no more XML and buris are created).
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 24 Jul 2006 09:32:54 +0000 (09:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 24 Jul 2006 09:32:54 +0000 (09:32 +0000)
commit0a50912f2577243a1f9e4068b02877b8e61181c9
tree95a1879e6004528f1594054972c58a6b4170a37b
parent8d1904cec529a1f22b3ac132dc0f3fb9289735df
more work on matitaprover (no more XML and buris are created).
now matita can start on a .p file.
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/tactics/paramodulation/equality.ml
helm/software/matita/.depend
helm/software/matita/Makefile
helm/software/matita/matita.ml
helm/software/matita/matitaGui.ml
helm/software/matita/matitaScript.ml
helm/software/matita/matitaScript.mli
helm/software/matita/matitaprover.ml
helm/software/matita/matitaprover.mli [new file with mode: 0644]
helm/software/matita/tests/TPTP/da_indagare_perche_non_astrarre_i_letin_sulle_meta_del_body_spacca_tutto.txt [new file with mode: 0644]