coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coqdoc inconsistent colors

From: Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] coqdoc inconsistent colors
Date: Wed, 22 Jan 2014 10:23:15 +0100

Le mardi 21 janvier 2014 à 13:23 -0500, Abhishek Anand a écrit :

> Does coqdoc already invoke coqtop?
The distributed coqdoc does not.
this one : https://github.com/thethirdman/coq/compare/coqdoc-dev does.
It should be in v8.5...

All the best,
Pierre B.

[Coq-Club] coqdoc inconsistent colors, Abhishek Anand, 01/21/2014
- Re: [Coq-Club] coqdoc inconsistent colors, Matthieu Sozeau, 01/21/2014
  - Re: [Coq-Club] coqdoc inconsistent colors, Abhishek Anand, 01/21/2014
    - Re: [Coq-Club] coqdoc inconsistent colors, Pierre Boutillier, 01/22/2014
      - Re: [Coq-Club] coqdoc inconsistent colors, Matthieu Sozeau, 01/22/2014