coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	More {raw => glob} changes for consistency	glondu	2010-12-24
\| \| \| \| \| \| \| \| \|	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
*	Rename rawterm.ml into glob_term.ml	glondu	2010-12-23
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13744 85f007b7-540e-0410-9357-904b9bb8a0f7