coq/checker/Makefile, branch master The formal proof system remove checker/Makefile 2016-07-26T14:32:49+00:00 Pierre Letouzey 2016-07-26T12:44:08+00:00 d8a07b44f5245f8e2f3a47095c70bb3cc85e3d99 This historical Makefile was used during the development of coqcheck, but was unused since then : the checker is built via Coq's main Makefile. So let's remove this one to avoid any risk of confusion. 
 This historical Makefile was used during the development of coqcheck,
 but was unused since then : the checker is built via Coq's main Makefile.
 So let's remove this one to avoid any risk of confusion.
fixed bug with aliases 2008-05-07T16:13:37+00:00 barras 2008-05-07T16:13:37+00:00 fa5fbb3625452dd560ffb5bfe5493d26b730b402 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10896 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10896 85f007b7-540e-0410-9357-904b9bb8a0f7
added the .vo checker (with independent Makefile) 2008-04-21T16:54:38+00:00 barras 2008-04-21T16:54:38+00:00 d09af1d5ca8bb610cec40918b23be67ba6f9673f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10826 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10826 85f007b7-540e-0410-9357-904b9bb8a0f7