coq-mathcomp/plugin, branch master Library of mathematical components formalized in Coq remove support for Coq 8.6 2019-04-04T09:48:11+00:00 Enrico Tassi 2019-04-04T09:48:11+00:00 2b40140bb9c9e2620214fd65144af1c0fef4083a 






Improve documentation of phant_id usage
2018-11-19T16:35:52+00:00

Georges Gonthier

2018-11-19T16:35:52+00:00

967088a6f87405a93ce21971392c58996df8c99f

Point out the use of id/idfun to control printing of notation.
(as suggested by @anton-trunov - see #247)





Point out the use of id/idfun to control printing of notation.
(as suggested by @anton-trunov - see #247)







agressive fix for duplicated files!
2018-07-31T14:17:07+00:00

Cyril Cohen

2018-07-31T14:17:07+00:00

629a7a065146679f14f95abf1de63a7ff3a2eacc