coq/doc/sphinx/_static, branch master The formal proof system Include (* ... *) comments in .. coqtop:: directives in Sphinx output 2021-04-17T16:41:42+00:00 Jim Fehrle 2021-02-11T06:56:31+00:00 e038e130188a0b43f66dfbc084cd8d9ca2cfb550 






Show "Error:"/"Warning:" with white type (on red/orange background)
2021-02-15T06:11:15+00:00

Jim Fehrle

2021-02-15T06:01:47+00:00

8220bb14e01b03ed727e8bb8c4f9ab70af3fd9f5












Split long lines in errors and warning index
2020-12-03T03:22:47+00:00

Jim Fehrle

2020-12-03T03:22:47+00:00

af0276ffe32e5367bd93e2e16bc57eecb0cf9de5












Add style for smallcaps.
2020-10-19T13:18:55+00:00

Théo Zimmermann

2020-03-26T16:45:03+00:00

7b07bc9aac0f7f990b8b12e7120d7a4e0bcd4fee

Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>





Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>







Merge PR #12874: Add a "Show Proof Diffs" message to the XML protocol
2020-10-12T16:34:24+00:00

coqbot-app[bot]

2020-10-12T16:34:24+00:00

2ff70d8341177d384043dd3d02da6968a8788e32

Reviewed-by: herbelin
Ack-by: gares
Ack-by: ejgallego





Reviewed-by: herbelin
Ack-by: gares
Ack-by: ejgallego







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







Add tags in prodn indicating productions that are from plugins,
2020-07-08T18:36:27+00:00

Jim Fehrle

2020-06-23T21:06:50+00:00

fa3d479cbf3f84a231fe8587c321df03538b18e7

filtered-only show Ltac2 tags outside of ltac2.rst





filtered-only show Ltac2 tags outside of ltac2.rst







Support in-line glossary entries and references
2020-04-29T08:05:39+00:00

Jim Fehrle

2020-04-21T20:13:43+00:00

99e239172dbd384418500554a6d8b4a058c3545b

with an index





with an index







Update headers in the whole code base.
2020-03-18T11:15:43+00:00

Théo Zimmermann

2020-03-18T11:14:26+00:00

a99776e10e0b2198d2b811ad82631111fb450f8a

Add headers to a few files which were missing them.





Add headers to a few files which were missing them.







Show doc notations in boldface
2019-12-26T01:32:02+00:00

Jim Fehrle

2019-12-25T06:30:31+00:00

bdb5150669d5ac972d3d2b3c9cc2045e77dc9ad5