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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 22 Jul 2006 17:14:13 +0000 (17:14 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 22 Jul 2006 17:14:13 +0000 (17:14 +0000)
commit	894b08ca7d14aa7e31c35f3acb3903a1c3472a27
tree	a97172367b376e0b687070c5614677736298c937	tree \| snapshot
parent	df8f668d1369432dbfb7c74a4c4789f3353fcb45	commit \| diff

matitaprover

45 files changed:

components/METAS/meta.helm-tptp_grafite.src	[new file with mode: 0644]	blob
components/Makefile		diff \| blob \| history
components/acic_content/.depend		diff \| blob \| history
components/binaries/Makefile		diff \| blob \| history
components/binaries/tptp2grafite/Makefile	[deleted file]	blob \| history
components/binaries/tptp2grafite/ast.ml	[deleted file]	blob \| history
components/binaries/tptp2grafite/lexer.mll	[deleted file]	blob \| history
components/binaries/tptp2grafite/main.ml	[deleted file]	blob \| history
components/binaries/tptp2grafite/parser.mly	[deleted file]	blob \| history
components/binaries/tptp2grafite/unit_equality_problems	[deleted file]	blob \| history
components/cic/libraryObjects.ml		diff \| blob \| history
components/cic/libraryObjects.mli		diff \| blob \| history
components/cic_proof_checking/cicPp.ml		diff \| blob \| history
components/content_pres/.depend		diff \| blob \| history
components/grafite/grafiteAst.ml		diff \| blob \| history
components/grafite/grafiteAstPp.ml		diff \| blob \| history
components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
components/grafite_parser/grafiteParser.ml		diff \| blob \| history
components/library/librarySync.ml		diff \| blob \| history
components/syntax_extensions/profiling_macros.ml		diff \| blob \| history
components/tactics/autoTactic.ml		diff \| blob \| history
components/tactics/autoTactic.mli		diff \| blob \| history
components/tactics/paramodulation/equality.ml		diff \| blob \| history
components/tactics/paramodulation/equality.mli		diff \| blob \| history
components/tactics/paramodulation/indexing.ml		diff \| blob \| history
components/tactics/paramodulation/inference.ml		diff \| blob \| history
components/tactics/paramodulation/saturation.ml		diff \| blob \| history
components/tptp_grafite/.depend	[new file with mode: 0644]	blob
components/tptp_grafite/Makefile	[new file with mode: 0644]	blob
components/tptp_grafite/ast.ml	[new file with mode: 0644]	blob
components/tptp_grafite/lexer.mll	[new file with mode: 0644]	blob
components/tptp_grafite/main.ml	[new file with mode: 0644]	blob
components/tptp_grafite/parser.mly	[new file with mode: 0644]	blob
components/tptp_grafite/tptp2grafite.ml	[new file with mode: 0644]	blob
components/tptp_grafite/tptp2grafite.mli	[new file with mode: 0644]	blob
components/tptp_grafite/unit_equality_problems	[new file with mode: 0644]	blob
configure.ac		diff \| blob \| history
matita/.depend		diff \| blob \| history
matita/Makefile		diff \| blob \| history
matita/matitaInit.ml		diff \| blob \| history
matita/matitac.ml		diff \| blob \| history
matita/tests/TPTP/elenco_unsatisfiable.txt	[new file with mode: 0644]	blob
matita/tests/TPTP/try.sh		diff \| blob \| history

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

RSS Atom