Coq

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

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

Branch merges

Branch information

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

Recent commits

f7cdf55... by Timothy Bourke

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.

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

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

462a640... 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, as
e.g. g_omega.ml4 (backport from 8.0).

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

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

Backported from v8.4.

2a5f1e1... by Hugo Herbelin <email address hidden>

Fixing installation when coqide is not compiled.

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

Updating CHANGES.

5d58917... by Hugo Herbelin <email address hidden>

Supporting compilation of coqide with lablgtk 2.16 and 2.18.

Collapsing new Gtk modifiers to MOD5 for compatibility with lablgtk 2.14.

Not sure that this is the optimal thing to do, but, at least, this
does not seem to be changing the use of CoqIDE wrt to it was when
using lablgtk 2.14.

Cherry-pick from 8.2 cbc4c50ca.

93a9905... by Hugo Herbelin <email address hidden>

Compatibility ocamldep 4.00.0 (a space has been introduced before the
colons, probably unintentionally, while adding options -sort, -all, and
-one-line to ocamldep in OCaml).

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

Fixing OCaml 4.02 compilation (backport of 9c00f3c4f2b6).

1537ece... by pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>

Compatibility with compilation with OCaml 4.

Partial cherry-pick of Pierre B.'s patch 517a5dce13.