coq-mathcomp/etc, branch master Library of mathematical components formalized in Coq fix gotpod 2021-03-25T13:22:22+00:00 Cyril Cohen 2021-03-25T13:22:22+00:00 96d392fd70f91d2a5e71cb3d07dddb0c603280a7 






fixup gitpod config
2021-03-15T01:08:56+00:00

Cyril Cohen

2021-03-14T21:31:40+00:00

25695dba0365a252cb142d5ba9079bd59f3ccad2












Fix bugs in hierarchy.ml
2020-06-27T04:06:00+00:00

Kazuhiko Sakaguchi

2020-06-15T17:09:36+00:00

4a0bc9e3de7a19439f45ba59405015033607ed68

- pass `Unix.environment ()` to `coqtop` to preserve the parent process
  environment,
- check the exit status of `coqtop` and report an error if it is wrong,
- do not rely on `ssrfun.id` in the `check_join` tactic, and
- improve the error message for missing unification hints.





- pass `Unix.environment ()` to `coqtop` to preserve the parent process
  environment,
- check the exit status of `coqtop` and report an error if it is wrong,
- do not rely on `ssrfun.id` in the `check_join` tactic, and
- improve the error message for missing unification hints.







Generated opam packages allow coq-dev again
2020-06-10T13:37:16+00:00

Cyril Cohen

2020-06-10T13:34:32+00:00

02ca8ee07c590a86a98ebefb791a6bc1ed30a5e5

As a result of [a discussion on Zulip](https://coq.zulipchat.com/#narrow/stream/237665-math-comp-devs/topic/MathComp.201.2E11.2E0.20OPAM.20packages.20Coq.20compatibility)
Reverts "removing opam `| (= "dev")` for released packages"
(commit 313e44316177c918b363c118f15297e08d13eb4e).





As a result of [a discussion on Zulip](https://coq.zulipchat.com/#narrow/stream/237665-math-comp-devs/topic/MathComp.201.2E11.2E0.20OPAM.20packages.20Coq.20compatibility)
Reverts "removing opam `| (= "dev")` for released packages"
(commit 313e44316177c918b363c118f15297e08d13eb4e).







removing opam `| (= "dev")` for released packages
2020-06-09T15:09:34+00:00

Cyril Cohen

2020-06-09T15:09:34+00:00

313e44316177c918b363c118f15297e08d13eb4e












URL in https
2020-05-27T17:50:10+00:00

Cyril Cohen

2020-05-27T17:50:10+00:00

14291b88255b7a1a110c21dec5a3754f25ec8881












fix packager
2020-04-15T16:49:51+00:00

Cyril Cohen

2020-04-15T16:49:51+00:00

709756f9bbb92b5e5844e0133627271c974a11c2












Fix hierarchy.ml to compute the transitive closure of a hierarchy
2020-03-15T05:10:22+00:00

Kazuhiko Sakaguchi

2020-03-01T21:32:57+00:00

07c4a344fb6db89acb33f4d38a11bdd4aed047da












take advantage of opam variables and their default values
2019-12-02T12:49:07+00:00

Yves Bertot

2019-12-02T12:31:31+00:00

0cfd17ed2c13ef8e88384b0135501f159d49bb90












Add Makefile target to build the doc
2019-11-25T15:23:11+00:00

Maxime Dénès

2019-11-15T18:28:02+00:00

81802638190ade2b989f34eb7afb92a1413f59c6