coq - The formal proof system

Age	Commit message (Expand)	Author
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