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, 10 Jan 2002 16:52:05 +0000 (16:52 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 10 Jan 2002 16:52:05 +0000 (16:52 +0000)
commit	0195d58340f7dbc852d380a8fee897e1c1f7da03
tree	c1b7ddd6e313d6c364352681783a36ab502ef6e3	tree \| snapshot
parent	d4b17db6764be4e7f693dab982ac66a54a5920eb	commit \| diff

CIC Textual Parser added to the repository.
The Makefile stuff has been modified because of ocamllex and ocamlyacc rules.

18 files changed:

helm/ocaml/.cvsignore		diff \| blob \| history
helm/ocaml/META.helm-cic_textual_parser.src	[new file with mode: 0644]	blob
helm/ocaml/Makefile.common.in		diff \| blob \| history
helm/ocaml/Makefile.in		diff \| blob \| history
helm/ocaml/cic/Makefile		diff \| blob \| history
helm/ocaml/cic_annotations/Makefile		diff \| blob \| history
helm/ocaml/cic_annotations_cache/Makefile		diff \| blob \| history
helm/ocaml/cic_cache/Makefile		diff \| blob \| history
helm/ocaml/cic_textual_parser/.cvsignore	[new file with mode: 0644]	blob
helm/ocaml/cic_textual_parser/.depend	[new file with mode: 0644]	blob
helm/ocaml/cic_textual_parser/Makefile	[new file with mode: 0644]	blob
helm/ocaml/cic_textual_parser/cicTextualLexer.mll	[new file with mode: 0644]	blob
helm/ocaml/cic_textual_parser/cicTextualParser.mly	[new file with mode: 0644]	blob
helm/ocaml/cic_textual_parser/cicTextualParser0.ml	[new file with mode: 0644]	blob
helm/ocaml/getter/Makefile		diff \| blob \| history
helm/ocaml/pxp/Makefile		diff \| blob \| history
helm/ocaml/urimanager/Makefile		diff \| blob \| history
helm/ocaml/xml/Makefile		diff \| blob \| history

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