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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 18 Jun 2009 16:48:35 +0000 (16:48 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 18 Jun 2009 16:48:35 +0000 (16:48 +0000)
commit	e603c19e82c160362587cb0bc578287c87122b90
tree	8a221ebf28368d638385b088172b58f1e754d7f6	tree \| snapshot
parent	d6484aac4ff287a3a3646807801eab4b27cfb054	commit \| diff

Objects are now used to represent also the tactic status.
Cool (but error messages can be bad).

20 files changed:

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/nEstatus.ml		diff \| blob \| history
helm/software/components/grafite_parser/nEstatus.mli		diff \| blob \| history
helm/software/components/lexicon/lexiconEngine.ml		diff \| blob \| history
helm/software/components/lexicon/lexiconEngine.mli		diff \| blob \| history
helm/software/components/ng_kernel/nCicLibrary.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicLibrary.mli		diff \| blob \| history
helm/software/components/ng_refiner/nCicCoercion.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicCoercion.mli		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnifHint.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnifHint.mli		diff \| blob \| history
helm/software/components/ng_refiner/nRstatus.ml		diff \| blob \| history
helm/software/components/ng_refiner/nRstatus.mli		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.mli		diff \| blob \| history
helm/software/components/ng_tactics/nTactics.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTactics.mli		diff \| blob \| history
helm/software/matita/matita.ml		diff \| blob \| history
helm/software/matita/matitaMathView.ml		diff \| blob \| history

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