coq/doc/changelog/09-coqide, branch master The formal proof system Add changelog entry 2021-02-01T01:05:47+00:00 slrnsc 2021-02-01T01:05:47+00:00 36b07c2194466ed79977d0195cd6567dd2059d3b 






[changelog] update markup
2020-12-03T15:03:37+00:00

Enrico Tassi

2020-11-30T09:03:47+00:00

c8fc6b8f0d357b01f919b8346f45d0bd020f4fe2












Changes for Coq 8.13
2020-12-03T15:03:37+00:00

Matthieu Sozeau

2020-11-30T16:12:37+00:00

3c4d2c9e3b7100a0012ad06b33b46fe7dca6cd29












[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.
2020-11-09T17:39:49+00:00

Théo Zimmermann

2020-11-09T17:39:49+00:00

a3869e5371c89629ddfd8ccdd1bdc0de12efe806

The smallcaps rendering was inexistent in the PDF version and did not
look good in the HTML version.





The smallcaps rendering was inexistent in the PDF version and did not
look good in the HTML version.







Add change log for #13145.
2020-10-30T14:12:26+00:00

Hugo Herbelin

2020-10-06T06:34:11+00:00

05f8308dbed75ee223b4d0818f1604072cffe671

Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>





Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>







Add some missing smallcaps.
2020-10-20T09:07:52+00:00

Théo Zimmermann

2020-10-19T14:06:30+00:00

3230c568eb0bc719feca642a1537555e262478eb












Add an XML message for "Show Proof Diffs"
2020-10-10T02:25:25+00:00

Jim Fehrle

2020-08-23T23:09:10+00:00

1d4bbefe5fe19306ab415e537863763a0a74134a

Add menu item that uses this





Add menu item that uses this







[changelog] Latest changes backported to 8.12 branch.
2020-07-23T13:44:09+00:00

Emilio Jesus Gallego Arias

2020-07-23T12:06:31+00:00

7c3961ce87b9c8483e1242f207a8150307d772ae












CoqIDE: accept to open files with invalid names
2020-06-22T09:13:24+00:00

Vincent Laporte

2020-06-22T08:16:56+00:00

518d92d33bcd94cb1b448ab60de146b1814b76fb












Release notes for 8.12.
2020-05-27T13:38:24+00:00

Théo Zimmermann

2020-05-23T10:58:37+00:00

2f0a89e59e615e6101096b36e12e7b7bbace8eff