coq - The formal proof system

Age	Commit message (Collapse)	Author
2011-10-28	Remove dynamic stuff from constr_expr and glob_constr	glondu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14621 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-12-25	Rename mkR* smart constructors (mostly in funind)	glondu
	perl -pi -e 's/(mk)R(Ref\|Var\|Evar\|PatVar\|App\|Lambda\|Prod\|LetIn\|Case s\|LetTuple\|If\|Rec\|Sort\|Hole\|Cast\|Dynamic\|Prop\|Type\|Fix\|CoFix\|Struct Rec\|WfRec\|MeasureRec)/\1G\2/g' */.ml* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13758 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-12-24	More {raw => glob} changes for consistency	glondu
	perl -pi -e 's/(\W\|_)raw((?:sort\|_prop\|terms?\|_branch\|_red_flag\|pat tern\|_constr_of\|_of_pat)(?:\W\|_))/\1glob_\2/g;s/glob__/glob_/g;s/(\ W)R((?:Prop\|Type\|Fix\|CoFix\|StructRec\|WfRec\|MeasureRec)\W)/\1G\2/g;s /glob_terms?/glob_constr/g' */.ml* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13756 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-12-24	Rename files in funind to respect new conventions	glondu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13755 85f007b7-540e-0410-9357-904b9bb8a0f7