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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 14 Feb 2007 17:10:16 +0000 (17:10 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 14 Feb 2007 17:10:16 +0000 (17:10 +0000)
commit	8f5b25b6091f1e240f37de5355e7a99b756e98e8
tree	d14be7e40229e72bf9ef74dd01caba1e48d5bc84	tree \| snapshot
parent	9642ec8492f2ef54e280e27a40c2936a02c252f9	commit \| diff

Procedural : some improvements
PrimitiveTactics : tentative implementation of using clause in elim
CicNotationParser: noe declarations of the form (_:t) are parsable

16 files changed:

components/METAS/meta.helm-acic_procedural.src		diff \| blob \| history
components/Makefile		diff \| blob \| history
components/acic_procedural/.depend		diff \| blob \| history
components/acic_procedural/.depend.opt		diff \| blob \| history
components/acic_procedural/Makefile		diff \| blob \| history
components/acic_procedural/acic2Procedural.ml		diff \| blob \| history
components/acic_procedural/cicClassify.ml	[deleted file]	blob \| history
components/acic_procedural/cicClassify.mli	[deleted file]	blob \| history
components/acic_procedural/proceduralClassify.ml	[new file with mode: 0644]	blob
components/acic_procedural/proceduralClassify.mli	[new file with mode: 0644]	blob
components/acic_procedural/proceduralMode.ml	[new file with mode: 0644]	blob
components/acic_procedural/proceduralMode.mli	[new file with mode: 0644]	blob
components/acic_procedural/proceduralTypes.ml		diff \| blob \| history
components/acic_procedural/proceduralTypes.mli		diff \| blob \| history
components/content_pres/cicNotationParser.ml		diff \| blob \| history
components/tactics/primitiveTactics.ml		diff \| blob \| history

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

RSS Atom