coq/doc/tools/docgram/common.edit_mlg, branch master The formal proof system Merge PR #13965: [abbreviation] user syntax to set interp scope of argument 2021-04-23T14:33:27+00:00 Pierre-Marie Pédrot 2021-04-23T14:33:27+00:00 a0c3ebf4a6357a5140b98b4b40c71133c53d802e Ack-by: JasonGross Reviewed-by: herbelin Reviewed-by: jashug Reviewed-by: jfehrle Reviewed-by: ppedrot 
Ack-by: JasonGross
Reviewed-by: herbelin
Reviewed-by: jashug
Reviewed-by: jfehrle
Reviewed-by: ppedrot
[abbreviation] allow the user to set arguments scope 2021-04-07T17:59:46+00:00 Enrico Tassi 2021-03-19T13:29:07+00:00 d3963fc6b6dad5a0cf79815f31b2035ca8b3de25 






Remove the :> type cast
2021-03-30T16:51:56+00:00

Jim Fehrle

2021-03-07T18:15:11+00:00

eeb142f3c69d2467fbadd7dd1470ac1606b2e5bf












Regenerate the Ltac2 syntax for documentation.
2021-03-10T11:20:27+00:00

Pierre-Marie Pédrot

2021-03-10T11:17:32+00:00

aba594ca194390bb00f8ef60ef8a5eef6694fc07












Convert 2nd part of rewriting chapter to prodn
2021-03-08T19:48:20+00:00

Jim Fehrle

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

0d33024ff79c38d52fde49e23d0e45d9c22eefbe












Replace : term with : type in open binders.
2021-01-28T20:22:44+00:00

Théo Zimmermann

2021-01-28T20:22:44+00:00

f7d37e69a3df1e049e0bee5d3a58ef2e7cf87af9

And update the doc_grammar files.





And update the doc_grammar files.







Merge PR #13574: Simplistic patch to fix #10113: turn Ltac2's `pattern:` into `pat:`
2021-01-18T12:02:37+00:00

Pierre-Marie Pédrot

2021-01-18T12:02:37+00:00

5b08cdcd4bde7fdcd21f7a0f0912f0021847294b

Ack-by: Zimmi48
Reviewed-by: jfehrle
Reviewed-by: ppedrot





Ack-by: Zimmi48
Reviewed-by: jfehrle
Reviewed-by: ppedrot







Adjust the doc_grammar files.
2021-01-13T10:41:32+00:00

Théo Zimmermann

2021-01-12T21:01:40+00:00

2a5e88b967f648887219e80aaf694395f1f15c1c












Use nat_or_var for fail/gfail
2021-01-07T21:50:58+00:00

Jim Fehrle

2020-11-24T23:09:28+00:00

70b18cd58243c99b13eefbd9c593b0f3929c742c












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