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	bc76b4d2f3c380894259b45fad52cf85ae6cee18
tree	7a5d0b15182414e5481fb6014990f4877175c262	tree \| snapshot
parent	984afddae60275147eac32185e546a7eb943bb6c	commit \| diff

matitaprover

45 files changed:

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

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

RSS Atom