Coq

~jgross-h/coq/+git/coq-packaging:v8.3

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

Branch merges

Branch information

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

Recent commits

459bb1e... by Jason Gross

Add -v8.3

dadf7fb... by Jason Gross

Copy files from Coq v8.3 reference package

587dc5b... by Edward Z. Yang

Track renaming of coq.el to gallina.el

Signed-off-by: Edward Z. Yang <email address hidden>

ec96273... by Edward Z. Yang

coqworkmgr

Signed-off-by: Edward Z. Yang <email address hidden>

8321597... by Edward Z. Yang

Relax version contraint (PRECISE ONLY)

Signed-off-by: Edward Z. Yang <email address hidden>

18dc213... by Edward Z. Yang

Revert "Enable validation."

This reverts commit 0ac49c057434c82cad755bf9699b78c12118e17e.

0ac49c0... by Edward Z. Yang

Enable validation.

Signed-off-by: Edward Z. Yang <email address hidden>

d6b4e50... by Edward Z. Yang

Disable tests.

Signed-off-by: Edward Z. Yang <email address hidden>

4b647a5... by Edward Z. Yang

Fix configure as per c734ccd8081e52ee5576d0efac9b065d4f37f7d5

Signed-off-by: Edward Z. Yang <email address hidden>

e7512ce... by Edward Z. Yang

Bump version number.

Signed-off-by: Edward Z. Yang <email address hidden>