coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Removing the XML plugin.	Pierre-Marie Pédrot	2014-09-08
\| \| \| \| \|	Left a README, just in case someone will discover the remnants of it decades from now.
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ↵	letouzey	2009-03-20
	user contribs git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7