| Age | Commit message (Collapse) | Author |
|---|
|
|
|
The smallcaps rendering was inexistent in the PDF version and did not
look good in the HTML version.
|
|
|
|
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>
|
|
Co-Authored-By: Jim Fehrle <jim.fehrle@gmail.com>
|
|
|
|
menu options for all chapters without having to load a new chapter.
Change "Introcution" title to "Introduction and Contents"
|
|
And location of footnote.
|
|
Alternatively, we could duplicate the citation text in both index files.
|
|
|
|
See https://github.com/sphinx-doc/sphinx/issues/4977 for context.
|
|
directives in many places. Disambiguated terminology: disequality now means <> while inequality means < <= > >=. Fixed some more grammar and spelling issues.
|
|
Manual (Introduction, Credits).
|
|
|
|
|
|
We put it in a footnote otherwise the sentence was starting to be really long.
Footnotes need to be in index.rst to really appear at the bottom of the index page.
|
|
|
|
|
|
|
|
Move credits to its own chapter (closes #6573).
|
|
|
|
|
|
|
|
I backported changes done to the LaTeX manual.
|
|
|
