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: 28b5d3d) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 6 Oct 2010 14:30:46 +0000 (14:30 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 6 Oct 2010 14:30:46 +0000 (14:30 +0000)
commit	5abc99efce12b00f1b4fa981c04be47c213ebe61
tree	0f61b623bc1f9848109edee40975be88a9106ff4	tree \| snapshot
parent	28b5d3d14776fe5ce47b0da09edaf4c505872d1e	commit \| diff

removed tptp_grafite

18 files changed:

matita/components/Makefile		diff \| blob \| history
matita/components/tptp_grafite/.depend	[deleted file]	blob \| history
matita/components/tptp_grafite/.depend.opt	[deleted file]	blob \| history
matita/components/tptp_grafite/Makefile	[deleted file]	blob \| history
matita/components/tptp_grafite/ast.ml	[deleted file]	blob \| history
matita/components/tptp_grafite/astTHF.ml	[deleted file]	blob \| history
matita/components/tptp_grafite/heq_problems	[deleted file]	blob \| history
matita/components/tptp_grafite/hne_problems	[deleted file]	blob \| history
matita/components/tptp_grafite/lexer.mll	[deleted file]	blob \| history
matita/components/tptp_grafite/lexerTHF.mll	[deleted file]	blob \| history
matita/components/tptp_grafite/main.ml	[deleted file]	blob \| history
matita/components/tptp_grafite/mainTHF.ml	[deleted file]	blob \| history
matita/components/tptp_grafite/parser.mly	[deleted file]	blob \| history
matita/components/tptp_grafite/parserTHF.mly	[deleted file]	blob \| history
matita/components/tptp_grafite/thf_problems	[deleted file]	blob \| history
matita/components/tptp_grafite/tptp2grafite.ml	[deleted file]	blob \| history
matita/components/tptp_grafite/tptp2grafite.mli	[deleted file]	blob \| history
matita/components/tptp_grafite/unit_equality_problems	[deleted file]	blob \| history

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