~naesten/coq/trunk

~naesten/coq/trunk » Changes to checker/safe_typing.mli from revision 10699

From Revision 10699

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
9474		checker deals with polymorphic constants and module aliases checker deals with polymorphic constants and module aliases	barras	16 years ago
9421		added the .vo checker (with independent Makefile) added the .vo checker (with independent Makefile)	barras	16 years ago