Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove fourier plugin | 2018-07-17 | |
| | | | | As stated in the manual, the fourier tactic is subsumed by lra. | ||
* | Merge PR #7559: Existing Class noop when already a class + warning. | 2018-06-25 | |
|\ | |||
* | | [doc] Use productionlist instead of prodn in ring.rst | 2018-06-19 | |
| | | |||
* | | doc: fix typo. | 2018-06-13 | |
| | | |||
| * | Existing Class noop when already a class + warning. | 2018-06-08 | |
|/ | | | | Fix #5012. | ||
* | Typo in documentation of Derive | 2018-05-16 | |
| | |||
* | [doc] Address feedback on doc writer guide | 2018-05-15 | |
| | | | | Co-Authored-By: @Zimmi48 | ||
* | [doc] Small fixes | 2018-05-15 | |
| | |||
* | Merge PR #7374: [sphinx] More fatal warnings. | 2018-05-14 | |
|\ | |||
* | | [sphinx] Improvements around the Show commands, including missing indices ↵ | 2018-05-09 | |
| | | | | | | | | and indentation. | ||
| * | [sphinx] Fix new warnings related to tacn, cmd, opt... | 2018-05-09 | |
|/ | |||
* | [sphinx] Improve typeclass chapter. | 2018-05-05 | |
| | |||
* | [sphinx] Re-indent to get much better rendering. | 2018-05-05 | |
| | | | | | Add some more cmd references. And use deprecated directives. | ||
* | Two more uses of verbatim in doc. | 2018-05-05 | |
| | |||
* | Clean-up around cmd documentation. | 2018-05-05 | |
| | | | | In particular, remove trailing dots. | ||
* | Add some refs in the Omega chapter. | 2018-05-05 | |
| | |||
* | More fixes in the Generalized Rewriting chapter. | 2018-05-05 | |
| | |||
* | [sphinx] More use of cmd references in Extraction chapter. | 2018-05-05 | |
| | |||
* | Fix error messages and make them consistent. | 2018-05-05 | |
| | | | | All the error messages start with a capitalized letter and end with a dot. | ||
* | Clean-up around options. | 2018-05-05 | |
| | | | | | | - Remove all trailing dots. - There is only one Bullet Behavior option. - Replaces `@natural` and `@integer` by `@num`. | ||
* | Fix failing example in refman. | 2018-05-05 | |
| | |||
* | [sphinx] Fix some references. | 2018-05-05 | |
| | |||
* | [sphinx] Use option direct reference. | 2018-05-05 | |
| | |||
* | Fix typo in Coercions chapter. | 2018-05-05 | |
| | |||
* | [Sphinx] Clean-up indices | 2018-04-16 | |
| | |||
* | [Sphinx] Fix a lot of references and description of options | 2018-04-16 | |
| | |||
* | [Sphinx] Fix all remaining warnings. | 2018-04-14 | |
| | |||
* | [sphinx] Fix many warnings. | 2018-04-14 | |
| | | | | | Including cross-reference TODOs. I took down the number of warnings from 300 to 50. | ||
* | Merge PR #7117: Sphinx doc chapter 29 | 2018-04-13 | |
|\ | |||
| * | [Sphinx] Add chapter 29 | 2018-04-12 | |
| | | | | | | | | | | | | Thanks to Clément Pit Claudel for porting this chapter. Backport universe polymorphism changes from 2017 and 2018. | ||
* | | [sphinx] Remove migration artefacts. | 2018-04-11 | |
| | | | | | | | | | | These were used very inconsistenty, serve no purpose and the link to the source is particularly useless because it's a moving target. | ||
| * | [Sphinx] Move chapter 29 to new infrastructure | 2018-04-11 | |
|/ | |||
* | [Sphinx] Add chapter 30 | 2018-04-05 | |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 30 to new infrastructure | 2018-04-05 | |
| | |||
* | [Sphinx] Add chapter 28 | 2018-04-04 | |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 28 to new infrastructure | 2018-04-04 | |
| | |||
* | [Sphinx] Add chapter 27 | 2018-03-30 | |
| | | | | Thanks to Calvin Beck for porting this chapter. | ||
* | [Sphinx] Move chapter 27 to new infrastructure | 2018-03-30 | |
| | |||
* | [Sphinx] Add chapter 25 | 2018-03-30 | |
| | | | | Thanks to Laurent Théry for porting this chapter. | ||
* | [Sphinx] Move chapter 25 to new infrastructure | 2018-03-30 | |
| | |||
* | [Sphinx] Add chapter 26 | 2018-03-29 | |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 26 to new infrastructure | 2018-03-29 | |
| | |||
* | [Sphinx] Add chapter 24 | 2018-03-29 | |
| | | | | Thanks to Matthieu Sozeau for porting this chapter. | ||
* | [Sphinx] Move chapter 24 to new infrastructure | 2018-03-29 | |
| | |||
* | [Sphinx] Add chapter 23 | 2018-03-29 | |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [Sphinx] Move chapter 23 to new infrastructure | 2018-03-29 | |
| | |||
* | [Sphinx] Add chapter 18 | 2018-03-29 | |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [Sphinx] Move chapter 18 to new infrastructure | 2018-03-29 | |
| | |||
* | [doc] Port Chapter 20 Type Classes to Sphinx | 2018-03-26 | |
| | |||
* | Move Classes.tex to type-classes.rst | 2018-03-26 | |
| |