coq-mathcomp/mathcomp/solvable, branch master Library of mathematical components formalized in Coq Silencing warning deprecated-ident-entry 2021-03-12T21:45:02+00:00 Cyril Cohen 2021-03-04T21:45:19+00:00 be445d437200da5765c972074dd0c0de68562adc 






Silence Hint Locality warning
2021-03-04T21:56:43+00:00

Cyril Cohen

2021-03-04T21:56:43+00:00

081c7c29feb1f4c2e66331a88c273f802c9bc27c












Merge pull request #663 from CohenCyril/clean_head
2020-11-20T08:55:19+00:00

affeldt-aist

2020-11-20T08:55:19+00:00

b4cdd47bcd7f2b2f9033ee00b7412570b07b8808

Using Arguments / to deal with volatile definitions




Using Arguments / to deal with volatile definitions






Using Arguments / to deal with volatile definitions
2020-11-20T02:10:59+00:00

Cyril Cohen

2020-11-20T02:10:59+00:00

7c47bab45686e90ee50e6c7eaae3230cb7ce9e53












Removing duplicate clears and turning the warning into an error
2020-11-19T20:38:46+00:00

Cyril Cohen

2020-11-19T17:33:21+00:00

e565f8d9bebd4fd681c34086d5448dbaebc11976












add declare scopes
2020-11-19T11:39:55+00:00

Reynald Affeldt

2020-11-19T10:18:39+00:00

c83609826d97afda6b11b227207f461cf077a0d5












Switch from long suffixes to short suffixes
2020-10-29T03:31:31+00:00

Kazuhiko Sakaguchi

2020-10-08T15:21:00+00:00

c6e0d703165b0c60c270672eb542aa8934929bfe












rename mem_imset2 to imset2_f (with deprecation)
2020-09-29T09:10:31+00:00

Christian Doczkal

2020-09-10T16:15:25+00:00

5b31a9e767694ce134fdff4461a876411eba0f2d












rename mem_imset to imset_f (with deprecation)
2020-09-29T09:10:31+00:00

Christian Doczkal

2020-09-10T15:45:57+00:00

298830c5a3860c7a645df6effe7d1cc228d56150












silencing warnings in individual packages
2020-06-08T13:11:01+00:00

Cyril Cohen

2020-06-08T13:11:01+00:00

fe6a6d967a8613695fde95f1652a8fa56c4b5d28