Coq

~jgross-h/coq/+git/coq:v8.2

  1. Git
  2. lp:~jgross-h/coq/+git/coq
  3. v8.2
Last commit made on 2017-12-27
Get this branch:
git clone -b v8.2 https://git.launchpad.net/~jgross-h/coq/+git/coq

Branch merges

Branch information

Name:
v8.2
Repository:
lp:~jgross-h/coq/+git/coq

Recent commits

be16dcb... by Hugo Herbelin <email address hidden>

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

And other minor changes.

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

ae84588... by Hugo Herbelin <email address hidden>

Updating configure with ocaml >= 4.03.0.

Warning 31 introduced in 4.00.0 makes compilation fail from 4.03.0.

It is apparently not fatal for the purpose of Coq, so we deactivate
it.

3a0e27b... by Hugo Herbelin <email address hidden>

Not recommending 4.02.0.

bb66130... by Hugo Herbelin <email address hidden>

Fixing test for compilation under MacOS X pentium.

b4a8496... by Hugo Herbelin <email address hidden>

A fix for compilation with OCaml 4.04.0.

(Even though it is not the only issue for compiling with 4.04.)

c1c6ba3... by Hugo Herbelin <email address hidden>

Fixing a little ennoying approximation in configure when detecting camlp5.

(cherry picked from v8.3 commit b83f7e7eda3603c4af934a8e62554412e18fee3d)

f1c00bf... by Hugo Herbelin <email address hidden>

Ensuring that sed does not use a specific locale for characters >= 128,
so that it does not fail on files containing latin1 characters,
e.g. g_omega.ml4.

cf8aa24... by Hugo Herbelin <email address hidden>

v8.2: Fix for #4467 (missing shadowing of variables in cases pattern).

Backported from v8.4.

71c35a0... by Hugo Herbelin <email address hidden>

Being more robust on the location of lablgtk2 for coqmktop.ml.

930ed2e... by Hugo Herbelin <email address hidden>

Updating INSTALL about 3.08.3.

Coq loops on Ring_polynom.v with (at least) this version.