Author: Jason Gross
Revision Date: 2022-08-27 10:49:52 UTC

Merge PR #16349: [v8.0] Add support for `-h` and `--help` to configure

Reviewed-by: Alizter

Author: Jason Gross
Revision Date: 2021-02-03 14:12:33 UTC

Require num on newer OCaml

Author: Jason Gross
Revision Date: 2021-02-03 14:12:25 UTC

Require num on newer OCaml

Author: Hugo Herbelin
Revision Date: 2017-12-27 21:39:35 UTC

Adding support for OCaml 4.06.0 (option -unsafe-string needed).

And other minor changes.

Cherry-pick from v8.4 (7f2240f).

Author: Hugo Herbelin
Revision Date: 2017-12-09 15:41:18 UTC

Adding support for OCaml 4.06.0 (option -unsafe-string needed).

And other minor changes.

Cherry-pick from v8.4 (7f2240f).

Author: Hugo Herbelin
Revision Date: 2017-12-08 23:38:28 UTC

Adding support for OCaml 4.06.0 (option -unsafe-string needed).

And other minor changes.

Author: Jason Gross
Revision Date: 2017-06-14 17:34:35 UTC

Make coq depend on libcoq-ocaml

Author: Jason Gross
Revision Date: 2017-06-14 17:34:21 UTC

Make coq depend on libcoq-ocaml

Author: Hugo Herbelin
Revision Date: 2017-01-23 09:44:09 UTC

Fixing unification regression #5323.

Tracking conversion problems to reconsider was lost for evars subject
to restriction (field last_mods was not updated and conversion
problems not considered to be changed).

Author: Jason Gross
Revision Date: 2016-12-15 21:06:06 UTC

arch-specific coq-theories

Author: Jason Gross
Revision Date: 2016-12-15 21:05:57 UTC

arch-specific coq-theories

Author: Timothy Bourke
Revision Date: 2016-04-28 08:17:30 UTC

Minor patch to build Coq 8.1 on OS X (no native "cp --parent").

Courtesy of Timothy Bourke.

For the record, Jean-Marc Notin also fixed the issue at some time with
commit 3c767fca7 (svn r11833) which for some reason did not go in the
v8.1 branch.