coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Daniel Schepler <dschepler AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] coqdoc autoinsert query results
- Date: Wed, 4 Mar 2020 15:50:22 -0800
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dschepler AT gmail.com; spf=Pass smtp.mailfrom=dschepler AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f49.google.com
- Ironport-phdr: 9a23:MEjUGhNB7RCuquvWMRol6mtUPXoX/o7sNwtQ0KIMzox0K/X6rarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6aijSI4DUTAhTyMxZubqSwQ9aKzpf/6+fn0JrKKy5MmTD1Nbh1NVC9qRjbnsgQm4prbKgrnEjnuHxNLshfw2JlIRqolBbx/sO95tY3/z9bu/8588Naear/dqU8C7dfCWJ1YCgO+MT3uEybHkO07XwGXzBTy0IQWlWX3FTBRp709xDCmK991S2dZ5CkSLk1XXGj6P4uRkO5zigAMDE9/Sfcjcki1PsH8iLknAR2xsvvWK/QLOB3J/qPctYTRG4HVcFUBXQYU9GMKrAXBu9EBt526oz0pl8Atxy7XFD+C+bmyzsOjXjzj/Q3
On Wed, Mar 4, 2020 at 12:55 PM Abhishek Anand
<abhishek.anand.iitg AT gmail.com>
wrote:
>
> Is there a way in coqdoc or a similar tool to automatically include query
> results in the generated document, especially HTML document?
In the past, I've used coq-tex along with Hevea to generate such HTML.
--
Daniel Schepler
- [Coq-Club] coqdoc autoinsert query results, Abhishek Anand, 03/04/2020
- Message not available
- [Coq-Club] Fwd: coqdoc autoinsert query results, Jim Fehrle, 03/04/2020
- Re: [Coq-Club] Fwd: coqdoc autoinsert query results, Théo Zimmermann, 03/04/2020
- [Coq-Club] Fwd: coqdoc autoinsert query results, Jim Fehrle, 03/04/2020
- Message not available
- Re: [Coq-Club] coqdoc autoinsert query results, Daniel Schepler, 03/05/2020
Archive powered by MHonArc 2.6.18.