coq/doc/sphinx/appendix, branch master The formal proof system [refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina. 2020-11-09T17:39:49+00:00 Théo Zimmermann 2020-11-09T17:39:49+00:00 a3869e5371c89629ddfd8ccdd1bdc0de12efe806 The smallcaps rendering was inexistent in the PDF version and did not look good in the HTML version. 
The smallcaps rendering was inexistent in the PDF version and did not
look good in the HTML version.
Add some missing smallcaps. 2020-10-20T09:07:52+00:00 Théo Zimmermann 2020-10-19T14:06:30+00:00 3230c568eb0bc719feca642a1537555e262478eb 






Move essential vocabulary and syntax conventions to section on basics.
2020-05-01T16:00:12+00:00

Théo Zimmermann

2020-05-01T11:22:42+00:00

90285ff50290a49d20d60ffc59725bf87c6acd14












Support in-line glossary entries and references
2020-04-29T08:05:39+00:00

Jim Fehrle

2020-04-21T20:13:43+00:00

99e239172dbd384418500554a6d8b4a058c3545b

with an index





with an index







Add an index for attributes.
2020-03-20T17:00:06+00:00

Théo Zimmermann

2020-03-20T16:57:28+00:00

9df2a43d5336ceb67a8da45f7b64c074b090790f












Adapt to sub-TOC not showing in PDF output.
2020-03-19T14:51:27+00:00

Théo Zimmermann

2020-03-19T14:51:18+00:00

1be31dea4cfd31522898edc07fee0829fea7c68d












[refman] Move chapters into new structure.
2020-03-19T14:51:22+00:00

Théo Zimmermann

2020-02-13T17:47:42+00:00

f5be988da566d0a48c67bd81be6d32376b3ba2a5

As a first step toward a deeper refactoring of the reference manual,
we move existing chapters into a new structure.

We use the Sphinx support for top-level chapters spanning multiple
pages to consolidate existing chapters into a smaller number of
chapters and a smaller number of parts.

Now the full top-level table of content can be seen in one glance.
Most of the new chapters are divided into several sub-chapters (on
separate pages) that correspond to the pre-existing chapters.  These
new top-level chapters gathering several chapters together have gained
a new introduction.  The main introduction has been rewritten /
simplified as well.

For now, the URL of pre-existing chapters does not change.  The intent
is to further refactor the manual by splitting some of these
sub-chapters into smaller ones, and by moving things around.

While the sub-chapters are likely to evolve very much in the future,
the top-level table of content is almost final (except that the "Using
Coq" part may gain one or two additional chapters on proof engineering
/ project management).

Thanks to Jim Fehrle for investigating how to split a chapter on
multiple pages and to both Jim and Matthieu Sozeau for the discussion
that led to this new structure.

See also the related CEP: https://github.com/coq/ceps/pull/43

Additional notes:

- A new directory structure has been created reflecting the new
  chapter structure.

- The indexes chapter has been removed from the PDF version since it
  wasn't working.

Co-authored-by: Jim Fehrle <jfehrle@sbcglobal.net>





As a first step toward a deeper refactoring of the reference manual,
we move existing chapters into a new structure.

We use the Sphinx support for top-level chapters spanning multiple
pages to consolidate existing chapters into a smaller number of
chapters and a smaller number of parts.

Now the full top-level table of content can be seen in one glance.
Most of the new chapters are divided into several sub-chapters (on
separate pages) that correspond to the pre-existing chapters.  These
new top-level chapters gathering several chapters together have gained
a new introduction.  The main introduction has been rewritten /
simplified as well.

For now, the URL of pre-existing chapters does not change.  The intent
is to further refactor the manual by splitting some of these
sub-chapters into smaller ones, and by moving things around.

While the sub-chapters are likely to evolve very much in the future,
the top-level table of content is almost final (except that the "Using
Coq" part may gain one or two additional chapters on proof engineering
/ project management).

Thanks to Jim Fehrle for investigating how to split a chapter on
multiple pages and to both Jim and Matthieu Sozeau for the discussion
that led to this new structure.

See also the related CEP: https://github.com/coq/ceps/pull/43

Additional notes:

- A new directory structure has been created reflecting the new
  chapter structure.

- The indexes chapter has been removed from the PDF version since it
  wasn't working.

Co-authored-by: Jim Fehrle <jfehrle@sbcglobal.net>