index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
changelog
/
09-coqide
Age
Commit message (
Expand
)
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
2020-10-30
Add change log for #13145.
Hugo Herbelin
2020-10-20
Add some missing smallcaps.
Théo Zimmermann
2020-10-09
Add an XML message for "Show Proof Diffs"
Jim Fehrle
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
2020-04-24
CoqIDE: Revert overzealous application of language-based highlighting in #12169.
Hugo Herbelin
2020-04-21
Merge PR #12060: CoqIDE: Disable client-side decoration on Windows
Pierre-Marie Pédrot
2020-04-17
Coqide: Apply style scheme and language to the three buffers.
Hugo Herbelin
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
2020-03-08
Minor improvements to the unreleased changelog.
Théo Zimmermann
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
2020-01-27
Merge PR #11415: Remove the CoqIDE "Revert all Buffers" command.
Hugo 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
2020-01-17
Remove the Tactic menu from CoqIDE.
Pierre-Marie Pédrot
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
