The Coq mailing list

[Alan Schmitt <alan.schmitt AT polytechnique.org>]

Hello Abhishek,

Abhishek Anand 
<abhishek.anand.iitg AT gmail.com>
 writes:

> While waiting for a better solution, you could do the following hack in
> your .v file:
>
> (** #<a name="wf"></a># *)
> Inductive wf : process -> Prop :=
> ...
>
> Coqdoc's html output should then be what you wanted.

Thank you for the suggestion. Unfortunately this introduces a "doc" div,
which create an empty blue line. I could get rid of it through CSS, but
it would remove every "doc" div.

I guess I'll just post-process the generated html.

Thanks again,

Alan