aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/practical-tools
Commit message (Expand)AuthorAge
* Remove Emacs modes.Gravatar Théo Zimmermann2018-07-08
* Archive the `gallina` toolGravatar Vincent Laporte2018-06-25
* Merge PR #7481: document 7025 (coq_makefile flag variables)Gravatar Maxime Dénès2018-06-04
|\
* | Minor update of the documentation/man about the resource file.Gravatar Hugo Herbelin2018-05-16
| * document 7025Gravatar Enrico Tassi2018-05-16
|/
* [sphinx] Fix a porting mistake.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Fix a typo that appeared during the migration.Gravatar Théo Zimmermann2018-05-05
* [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
* [sphinx] Fix many warnings.Gravatar Théo Zimmermann2018-04-14
* [sphinx] Use macro |CoqIDE| consistently.Gravatar Théo Zimmermann2018-04-11
* [Sphinx] Add chapter 15Gravatar Laurent Théry2018-04-10
* [Sphinx] Move chapter 15 to new infrastructureGravatar Maxime Dénès2018-04-10
* [Sphinx] Add chapter 16Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 16 to new infrastructureGravatar Maxime Dénès2018-03-15
* [Sphinx] Add chapter 14Gravatar Maxime Dénès2018-03-15
* [Sphinx] Move chapter 14 to new infrastructureGravatar Maxime Dénès2018-03-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-26 10:19:38 +0000