| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-02-01 | Add changelog entry | slrnsc | |
| 2020-12-03 | [changelog] update markup | Enrico Tassi | |
| 2020-12-03 | Changes for Coq 8.13 | Matthieu Sozeau | |
| 2020-11-09 | [refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina. | Théo Zimmermann | |
| The smallcaps rendering was inexistent in the PDF version and did not look good in the HTML version. | |||
| 2020-10-30 | Add change log for #13145. | Hugo Herbelin | |
| Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com> | |||
| 2020-10-20 | Add some missing smallcaps. | Théo Zimmermann | |
| 2020-10-09 | Add an XML message for "Show Proof Diffs" | Jim Fehrle | |
| Add menu item that uses this | |||
| 2020-07-23 | [changelog] Latest changes backported to 8.12 branch. | Emilio Jesus Gallego Arias | |
| 2020-06-22 | CoqIDE: accept to open files with invalid names | Vincent Laporte | |
| 2020-05-27 | Release notes for 8.12. | Théo Zimmermann | |
| 2020-05-14 | Add a changelog for 8.11.2. | Pierre-Marie Pédrot | |
| 2020-05-08 | Merge PR #12068: Coqide completion: tentative fix for #11943 | Pierre-Marie Pédrot | |
| Reviewed-by: ppedrot | |||
| 2020-04-24 | CoqIDE: Revert overzealous application of language-based highlighting in #12169. | Hugo Herbelin | |
| The parsing rules defining classes of lexemes in language configuration expect a Coq document and are not relevant in the message and proof window. Thus backtracking on this part of #12169. Keeping the highlighting style though. | |||
| 2020-04-21 | Merge PR #12060: CoqIDE: Disable client-side decoration on Windows | Pierre-Marie Pédrot | |
| Reviewed-by: ppedrot | |||
| 2020-04-17 | Coqide: Apply style scheme and language to the three buffers. | Hugo Herbelin | |
| It was previously only applied to the script buffer. | |||
| 2020-04-16 | CoqIDE: Disable client-side decoration on Windows | Attila Gáspár | |
| 2020-04-10 | Change log for #12068 (Coqide segfault tentative fix). | Hugo Herbelin | |
| 2020-04-03 | Adding changelog for 8.11.1. | Pierre-Marie Pédrot | |
| 2020-03-12 | Merge PR #11781: Minor improvements to the unreleased changelog. | Clément Pit-Claudel | |
| Reviewed-by: cpitclaudel | |||
| 2020-03-08 | Minor improvements to the unreleased changelog. | Théo Zimmermann | |
| Same as #11780 except that this part can be backported to v8.11. | |||
| 2020-03-08 | Minor improvements to the unreleased changelog. | Théo Zimmermann | |
| 2020-02-28 | Adding change log | Hugo Herbelin | |
| 2020-02-05 | Merge PR #11414: Remove the Tactic menu from CoqIDE. | Hugo Herbelin | |
| Ack-by: Zimmi48 Reviewed-by: herbelin | |||
| 2020-01-27 | Merge PR #11415: Remove the CoqIDE "Revert all Buffers" command. | Hugo Herbelin | |
| Ack-by: Zimmi48 Reviewed-by: herbelin | |||
| 2020-01-22 | Move new entries in 8.11.0 changelog. | Théo Zimmermann | |
| 2020-01-17 | Remove the CoqIDE "Revert all Buffers" command. | Pierre-Marie Pédrot | |
| Fixes #3907: CoqIDE File->Revert all buffers does not work. Co-Authored-By: Théo Zimmermann <theo.zimmi@gmail.com> | |||
| 2020-01-17 | Remove the Tactic menu from CoqIDE. | Pierre-Marie Pédrot | |
| Partial fix of #11219: CoqIDE tactics and templates menus are out of sync. Co-Authored-By: Théo Zimmermann <theo.zimmi@gmail.com> | |||
| 2020-01-16 | Adding a changelog. | Pierre-Marie Pédrot | |
| 2019-06-16 | Changelog for 8.10+beta2. | Théo Zimmermann | |
| 2019-06-13 | Add missing changelog entry for #10360. | Théo Zimmermann | |
| 2019-05-05 | Create categories in changelog. | Théo Zimmermann | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |