coq/doc/changelog/07-commands-and-options/11162-local-cs.rst, branch master The formal proof system Release notes for 8.12. 2020-05-27T13:38:24+00:00 Théo Zimmermann 2020-05-23T10:58:37+00:00 2f0a89e59e615e6101096b36e12e7b7bbace8eff 






Document all the existing attributes.
2020-03-19T17:05:03+00:00

Théo Zimmermann

2020-03-18T17:36:10+00:00

2c785aaab9b54b3d3406e7e021de635247f6535c

And fix documentation following the removal of the Template Check flag
in #11546.





And fix documentation following the removal of the Template Check flag
in #11546.







Add explicit types to changelog entries.
2020-01-22T18:11:35+00:00

Théo Zimmermann

2020-01-22T18:11:35+00:00

8f836215f099ea5ec7f27fd67d7723743d2e42e0












[CS] support #[local] attribute
2019-12-02T15:04:26+00:00

Enrico Tassi

2019-11-22T09:40:40+00:00

bfae260f7ba026e17e0cc599b8507bd133c4edc0