Difficulty with using references to Coq manual

math-comp / mcb

Mathematical Components (the Book)

Other

140 stars 25 forks source link

Difficulty with using references to Coq manual #60

Closed pmundkur closed 6 years ago

pmundkur commented 6 years ago

References to numbered sections and chapters of the Coq manual are difficult to interpret/follow-up since it appears that the reference manual is now web-only without a PDF version available.

anton-trunov commented 6 years ago

Hi @pmundkur,

reference manual is now web-only without a PDF version available.

@cpitclaudel knows how to generate a PDF version of the manual, but I cannot find the link to that PDF. Strangely enough I can search stuff in the (slightly outdated) PDF version of the manual he provided, but not in Sphinx. Here is a relevant issue: https://github.com/coq/coq/issues/7500.

pmundkur commented 6 years ago

good to know, thanks @anton-trunov