coq/doc/tools/coqrst, branch master The formal proof system Merge PR #13846: Include (* ... *) comments in .. coqtop:: directives in Sphinx output 2021-04-19T09:17:08+00:00 coqbot-app[bot] 2021-04-19T09:17:08+00:00 f82dd4e968d1b948f4288687cb9458ec90b66270 Reviewed-by: Zimmi48 Ack-by: cpitclaudel 
Reviewed-by: Zimmi48
Ack-by: cpitclaudel
Merge PR #13815: Improve description of conversions 2021-04-19T09:14:24+00:00 coqbot-app[bot] 2021-04-19T09:14:24+00:00 8a49832ac5a4a9fab564c49ccef7146310db5bab Reviewed-by: Zimmi48 Ack-by: JasonGross 
Reviewed-by: Zimmi48
Ack-by: JasonGross
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 






Remove superfluous sort.
2021-04-17T11:07:41+00:00

Jim Fehrle

2021-04-17T11:07:41+00:00

c20769ad4851ee7fa99605fed6b89964e147cddc

Removing it makes no difference to the order of glossary entries,
which is determined by the "for ... sorted" statement above.





Removing it makes no difference to the order of glossary entries,
which is determined by the "for ... sorted" statement above.







Merge PR #13860: [coqrst] Show "Error:"/"Warning:" with white type (on red/orange background)
2021-04-10T17:42:13+00:00

coqbot-app[bot]

2021-04-10T17:42:13+00:00

19e991811dc30bd2392cc969667887a159f355e5

Reviewed-by: Zimmi48
Ack-by: cpitclaudel





Reviewed-by: Zimmi48
Ack-by: cpitclaudel







Fixed grammar productions for PDF documentations
2021-03-12T10:51:09+00:00

Isaac Oscar Gariano

2021-03-12T10:51:09+00:00

eecc87e32aaa0718356d1fbe7c808ed838db4cdb

This undoes changes by 48bb58156acec84991a9e570e93a4e31c0349e79 that
broke the rendering of grammar productions in PDfs.





This undoes changes by 48bb58156acec84991a9e570e93a4e31c0349e79 that
broke the rendering of grammar productions in PDfs.







Correctly sort the glossary
2021-03-05T01:28:37+00:00

Jim Fehrle

2021-02-10T00:44:36+00:00

fb0666d50e1fe95ad2325f4ef2cc9fdd2666ac8a












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












Merge PR #13470: Convert rewriting and proof-mode chapters to prodn
2021-01-01T19:06:50+00:00

coqbot-app[bot]

2021-01-01T19:06:50+00:00

66e24a2365b235bd35cbba71adce30dccea60b55

Reviewed-by: Zimmi48
Ack-by: JasonGross





Reviewed-by: Zimmi48
Ack-by: JasonGross







Convert rewriting and proof-mode chapters to prodn
2020-12-30T19:48:37+00:00

Jim Fehrle

2020-09-13T03:54:22+00:00

e02120ed6580733db2276f0c11b4f432ea670ee3