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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 27 Nov 2001 11:58:50 +0000 (11:58 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 27 Nov 2001 11:58:50 +0000 (11:58 +0000)
commit	e97039cc9e0a8e4f992c712a1ccf47c801e1abcc
tree	05579b32f8c25bc799da54e33c56701057f88c46	tree \| snapshot
parent	d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77	commit \| diff

1) .cma/.cmxa used to simplify META files.
2) Common parts of Makefiles factorized into Makefile.common
3) Makefile added

29 files changed:

helm/ocaml/META.helm-cic		diff \| blob \| history
helm/ocaml/META.helm-cic_annotations		diff \| blob \| history
helm/ocaml/META.helm-cic_annotations_cache		diff \| blob \| history
helm/ocaml/META.helm-cic_cache		diff \| blob \| history
helm/ocaml/META.helm-cic_proof_checking		diff \| blob \| history
helm/ocaml/META.helm-getter		diff \| blob \| history
helm/ocaml/META.helm-pxp		diff \| blob \| history
helm/ocaml/META.helm-urimanager		diff \| blob \| history
helm/ocaml/META.helm-xml		diff \| blob \| history
helm/ocaml/Makefile	[new file with mode: 0644]	blob
helm/ocaml/Makefile.common	[new file with mode: 0644]	blob
helm/ocaml/cic/.cvsignore		diff \| blob \| history
helm/ocaml/cic/Makefile		diff \| blob \| history
helm/ocaml/cic_annotations/.cvsignore		diff \| blob \| history
helm/ocaml/cic_annotations/Makefile		diff \| blob \| history
helm/ocaml/cic_annotations_cache/.cvsignore		diff \| blob \| history
helm/ocaml/cic_annotations_cache/Makefile		diff \| blob \| history
helm/ocaml/cic_cache/.cvsignore		diff \| blob \| history
helm/ocaml/cic_cache/Makefile		diff \| blob \| history
helm/ocaml/cic_proof_checking/.cvsignore		diff \| blob \| history
helm/ocaml/cic_proof_checking/Makefile		diff \| blob \| history
helm/ocaml/getter/.cvsignore		diff \| blob \| history
helm/ocaml/getter/Makefile		diff \| blob \| history
helm/ocaml/pxp/.cvsignore		diff \| blob \| history
helm/ocaml/pxp/Makefile		diff \| blob \| history
helm/ocaml/urimanager/.cvsignore		diff \| blob \| history
helm/ocaml/urimanager/Makefile		diff \| blob \| history
helm/ocaml/xml/.cvsignore		diff \| blob \| history
helm/ocaml/xml/Makefile		diff \| blob \| history

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

RSS Atom