Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] coqdoc autoinsert query results

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coqdoc autoinsert query results


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page