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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 31 Mar 2010 09:07:11 +0000 (09:07 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 31 Mar 2010 09:07:11 +0000 (09:07 +0000)
commit	a14adba81c00c9dcb9996d7af39e4803214606f1
tree	3058425e1d6d30d8e44f49221c4242b81d5c7b42	tree \| snapshot
parent	c57405141d26ac2215a07b05d27a16a691dda50e	commit \| diff

Tracing mechanism for auto. Interface changed to solve an ambiguity between
an ampty trace and a missing trace.

From: asperti <asperti@c2b2084f-9a08-0410-b176-e24b037a169a>

16 files changed:

helm/software/components/binaries/matitaprover/matitaprover.ml		diff \| blob \| history
helm/software/components/binaries/matitaprover/run_on_a_list.sh		diff \| blob \| history
helm/software/components/content_pres/cicNotationPres.ml		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_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/ng_tactics/nAuto.ml		diff \| blob \| history
helm/software/components/ng_tactics/nAuto.mli		diff \| blob \| history
helm/software/components/ng_tactics/nnAuto.ml		diff \| blob \| history
helm/software/components/ng_tactics/nnAuto.mli		diff \| blob \| history
helm/software/components/tactics/auto.ml		diff \| blob \| history
helm/software/components/tactics/auto.mli		diff \| blob \| history
helm/software/components/tactics/declarative.ml		diff \| blob \| history
helm/software/components/tptp_grafite/tptp2grafite.ml		diff \| blob \| history

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

RSS Atom