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, 29 Nov 2001 18:07:10 +0000 (18:07 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 29 Nov 2001 18:07:10 +0000 (18:07 +0000)
commit	298fa826610192b1a173c81b4ebf961c1c7e6609
tree	a9c0826f469bc8e1885bb615b903108e44dad389	tree \| snapshot
parent	a6611bb09e2fa8629a022dbcd6c527ea8fd4df32	commit \| diff

* .mli added where needed
* Install and uninstall implemented
* Makefile improvements

30 files changed:

helm/ocaml/.cvsignore		diff \| blob \| history
helm/ocaml/Makefile.common	[deleted file]	blob \| history
helm/ocaml/Makefile.common.in	[new file with mode: 0644]	blob
helm/ocaml/Makefile.in		diff \| blob \| history
helm/ocaml/cic/.depend		diff \| blob \| history
helm/ocaml/cic/Makefile		diff \| blob \| history
helm/ocaml/cic/cic.ml		diff \| blob \| history
helm/ocaml/cic/deannotate.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_annotations/.depend		diff \| blob \| history
helm/ocaml/cic_annotations/Makefile		diff \| blob \| history
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml		diff \| blob \| history
helm/ocaml/cic_annotations/cicAnnotation2Xml.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_annotations/cicAnnotationHinter.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_annotations/cicAnnotationParser.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_annotations/cicAnnotationParser2.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_annotations/cicXPath.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_annotations_cache/Makefile		diff \| blob \| history
helm/ocaml/cic_cache/Makefile		diff \| blob \| history
helm/ocaml/cic_proof_checking/.depend		diff \| blob \| history
helm/ocaml/cic_proof_checking/Makefile		diff \| blob \| history
helm/ocaml/configure.in		diff \| blob \| history
helm/ocaml/getter/.depend		diff \| blob \| history
helm/ocaml/getter/Makefile		diff \| blob \| history
helm/ocaml/getter/configuration.mli	[new file with mode: 0644]	blob
helm/ocaml/pxp/.depend		diff \| blob \| history
helm/ocaml/pxp/Makefile		diff \| blob \| history
helm/ocaml/pxp/csc_pxp_reader.mli	[new file with mode: 0644]	blob
helm/ocaml/pxp/pxpUriResolver.mli	[new file with mode: 0644]	blob
helm/ocaml/urimanager/Makefile		diff \| blob \| history
helm/ocaml/xml/Makefile		diff \| blob \| history

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

RSS Atom