coq/plugins/subtac/test, branch master The formal proof system Final part of moving Program code inside the main code. Adapted add_definition/fixpoint and parsing of the "Program" prefix. 2012-03-14T09:53:06+00:00 msozeau 2012-03-14T09:53:06+00:00 8ff2de8c01b3ba3563517627b1f5c9eb2c4bcb77 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15036 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15036 85f007b7-540e-0410-9357-904b9bb8a0f7
Delete trailing whitespaces in all *.{v,ml*} files 2009-09-17T15:58:14+00:00 glondu 2009-09-17T15:58:14+00:00 61ccbc81a2f3b4662ed4a2bad9d07d2003dda3a2 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7
Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs 2009-03-20T01:22:58+00:00 letouzey 2009-03-20T01:22:58+00:00 7d220f8b61649646692983872626d6a8042446a9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7