Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove fourier plugin | Maxime Dénès | 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. | Matthieu Sozeau | 2018-06-25 |
|\ | |||
* | | [doc] Use productionlist instead of prodn in ring.rst | Clément Pit-Claudel | 2018-06-19 |
| | | |||
* | | doc: fix typo. | whitequark | 2018-06-13 |
| | | |||
| * | Existing Class noop when already a class + warning. | Gaëtan Gilbert | 2018-06-08 |
|/ | | | | Fix #5012. | ||
* | Typo in documentation of Derive | Joachim Breitner | 2018-05-16 |
| | |||
* | [doc] Address feedback on doc writer guide | Clément Pit-Claudel | 2018-05-15 |
| | | | | Co-Authored-By: @Zimmi48 | ||
* | [doc] Small fixes | Clément Pit-Claudel | 2018-05-15 |
| | |||
* | Merge PR #7374: [sphinx] More fatal warnings. | Maxime Dénès | 2018-05-14 |
|\ | |||
* | | [sphinx] Improvements around the Show commands, including missing indices ↵ | Théo Zimmermann | 2018-05-09 |
| | | | | | | | | and indentation. | ||
| * | [sphinx] Fix new warnings related to tacn, cmd, opt... | Théo Zimmermann | 2018-05-09 |
|/ | |||
* | [sphinx] Improve typeclass chapter. | Théo Zimmermann | 2018-05-05 |
| | |||
* | [sphinx] Re-indent to get much better rendering. | Théo Zimmermann | 2018-05-05 |
| | | | | | Add some more cmd references. And use deprecated directives. | ||
* | Two more uses of verbatim in doc. | Théo Zimmermann | 2018-05-05 |
| | |||
* | Clean-up around cmd documentation. | Théo Zimmermann | 2018-05-05 |
| | | | | In particular, remove trailing dots. | ||
* | Add some refs in the Omega chapter. | Théo Zimmermann | 2018-05-05 |
| | |||
* | More fixes in the Generalized Rewriting chapter. | Théo Zimmermann | 2018-05-05 |
| | |||
* | [sphinx] More use of cmd references in Extraction chapter. | Théo Zimmermann | 2018-05-05 |
| | |||
* | Fix error messages and make them consistent. | Théo Zimmermann | 2018-05-05 |
| | | | | All the error messages start with a capitalized letter and end with a dot. | ||
* | Clean-up around options. | Théo Zimmermann | 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. | Théo Zimmermann | 2018-05-05 |
| | |||
* | [sphinx] Fix some references. | Théo Zimmermann | 2018-05-05 |
| | |||
* | [sphinx] Use option direct reference. | Théo Zimmermann | 2018-05-05 |
| | |||
* | Fix typo in Coercions chapter. | Théo Zimmermann | 2018-05-05 |
| | |||
* | [Sphinx] Clean-up indices | Maxime Dénès | 2018-04-16 |
| | |||
* | [Sphinx] Fix a lot of references and description of options | Maxime Dénès | 2018-04-16 |
| | |||
* | [Sphinx] Fix all remaining warnings. | Maxime Dénès | 2018-04-14 |
| | |||
* | [sphinx] Fix many warnings. | Théo Zimmermann | 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 | Théo Zimmermann | 2018-04-13 |
|\ | |||
| * | [Sphinx] Add chapter 29 | Maxime Dénès | 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. | Théo Zimmermann | 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 | Maxime Dénès | 2018-04-11 |
|/ | |||
* | [Sphinx] Add chapter 30 | Maxime Dénès | 2018-04-05 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 30 to new infrastructure | Maxime Dénès | 2018-04-05 |
| | |||
* | [Sphinx] Add chapter 28 | Maxime Dénès | 2018-04-04 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 28 to new infrastructure | Maxime Dénès | 2018-04-04 |
| | |||
* | [Sphinx] Add chapter 27 | Maxime Dénès | 2018-03-30 |
| | | | | Thanks to Calvin Beck for porting this chapter. | ||
* | [Sphinx] Move chapter 27 to new infrastructure | Maxime Dénès | 2018-03-30 |
| | |||
* | [Sphinx] Add chapter 25 | Maxime Dénès | 2018-03-30 |
| | | | | Thanks to Laurent Théry for porting this chapter. | ||
* | [Sphinx] Move chapter 25 to new infrastructure | Maxime Dénès | 2018-03-30 |
| | |||
* | [Sphinx] Add chapter 26 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Paul Steckler for porting this chapter. | ||
* | [Sphinx] Move chapter 26 to new infrastructure | Maxime Dénès | 2018-03-29 |
| | |||
* | [Sphinx] Add chapter 24 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Matthieu Sozeau for porting this chapter. | ||
* | [Sphinx] Move chapter 24 to new infrastructure | Maxime Dénès | 2018-03-29 |
| | |||
* | [Sphinx] Add chapter 23 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [Sphinx] Move chapter 23 to new infrastructure | Maxime Dénès | 2018-03-29 |
| | |||
* | [Sphinx] Add chapter 18 | Maxime Dénès | 2018-03-29 |
| | | | | Thanks to Pierre Letouzey for porting this chapter. | ||
* | [Sphinx] Move chapter 18 to new infrastructure | Maxime Dénès | 2018-03-29 |
| | |||
* | [doc] Port Chapter 20 Type Classes to Sphinx | Matthieu Sozeau | 2018-03-26 |
| | |||
* | Move Classes.tex to type-classes.rst | Matthieu Sozeau | 2018-03-26 |
| |