Subject: Ssreflect Users Discussion List
List archive
- From: Chantal KELLER <>
- To: ssreflect <>
- Subject: ssrcoq_makefile ?
- Date: Mon, 06 Apr 2009 18:21:57 +0200
Hello,
Is there an equivalent of coq_makefile for ssrcoq ?
Thanks,
Chantal.
--
Chantal KELLER
- ssrcoq_makefile ?, Chantal KELLER, 04/06/2009
- Re: ssrcoq_makefile ?, Assia Mahboubi, 04/06/2009
- Re: ssrcoq_makefile ?, Chantal KELLER, 04/06/2009
- Re: ssrcoq_makefile ?, Assia Mahboubi, 04/06/2009
Archive powered by MHonArc 2.6.18.