The Coq mailing list

[Pierre Casteran <pierre.casteran AT labri.fr>]

Selon Xinyu Feng 
<xinyu.feng AT yale.edu>:

> Can someone give me a reference to the usage of coqdoc? The url
> http://www.lri.fr/~filliatr/coqdoc is obsolete.


You can get the documentation in Coq's site : http://coq.inria.fr
then click on "documentation", then "On line documentation",
 "Reference Manual". Coqdoc is documented in Part IV : "Practical Tools"
in the section "Utilities".


Pierre




>
> --
> Xinyu Feng
>
> Ph.D. student                            Mailing address:
> Department of Computer Science           51 Prospect St.
> Yale University                          New Haven, CT 06511
>                                          USA
>
> Phone:                                   Homepage:
> +1-203-432-1266                          http://flint.cs.yale.edu/feng
>
>
> --------------------------------------------------------
> Bug reports: http://coq.inria.fr/bin/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>           http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
>


-- 
Pierre Casteran
(+33) 540006931

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.