Coq

lp:~jgross-h/coq/+git/coq

Owned by Jason Gross
Get this repository:
git clone https://git.launchpad.net/~jgross-h/coq/+git/coq

Import details

Import Status: Reviewed

This repository is an import of the Git repository at https://github.com/coq/coq.git.

The next import is scheduled to run in 5 hours.

Last successful import was 21 minutes ago.

Import started 30 minutes ago on alnitak and finished 21 minutes ago taking 10 minutes — see the log
Import started 7 hours ago on alnitak and finished 7 hours ago taking 12 minutes — see the log
Import started 13 hours ago on alnitak and finished 13 hours ago taking 12 minutes — see the log
Import started 20 hours ago on alnitak and finished 20 hours ago taking 11 minutes — see the log
Import started on 2019-09-19 on alnitak and finished on 2019-09-19 taking 12 minutes — see the log
Import started on 2019-09-19 on alnitak and finished on 2019-09-19 taking 12 minutes — see the log
Import started on 2019-09-18 on alnitak and finished on 2019-09-19 taking 10 minutes — see the log
Import started on 2019-09-18 on alnitak and finished on 2019-09-18 taking 10 minutes — see the log
Import started on 2019-09-18 on alnitak and finished on 2019-09-18 taking 11 minutes — see the log
Import started on 2019-09-18 on alnitak and finished on 2019-09-18 taking 10 minutes — see the log

Branches

Name Last Modified Last Commit
master 2019-09-18 08:23:07 UTC 2019-09-18
Merge PR #9856: A 'zify' tactic as a ML plugin

Author: Maxime Dénès
Author Date: 2019-09-18 08:23:07 UTC

Merge PR #9856: A 'zify' tactic as a ML plugin

Ack-by: SkySkimmer
Ack-by: Zimmi48
Ack-by: maximedenes
Ack-by: ppedrot
Ack-by: vbgl

v8.10 2019-09-17 07:23:43 UTC 2019-09-17
First commit after 8.10+β3

Author: Vincent Laporte
Author Date: 2019-09-17 07:23:43 UTC

First commit after 8.10+β3

v8.9 2019-08-25 08:36:52 UTC 2019-08-25
Merge PR #10650: ocaml 4.08 does not allow dynamic loading of already present...

Author: Hugo Herbelin
Author Date: 2019-08-25 08:36:52 UTC

Merge PR #10650: ocaml 4.08 does not allow dynamic loading of already present pr_dump.cmo

v8.8 2018-09-25 21:07:28 UTC 2018-09-25
Set Coq version to 8.8.2.

Author: Théo Zimmermann
Author Date: 2018-09-25 17:56:46 UTC

Set Coq version to 8.8.2.

v8.7 2018-08-17 10:21:19 UTC 2018-08-17
Merge PR #8199: Backport recent CI changes to v8.7.

Author: Théo Zimmermann
Author Date: 2018-08-17 10:21:19 UTC

Merge PR #8199: Backport recent CI changes to v8.7.

v8.6 2018-02-21 10:36:01 UTC 2018-02-21
Updating CHANGES about critical VM and universes bug.

Author: Hugo Herbelin
Author Date: 2018-02-14 22:04:04 UTC

Updating CHANGES about critical VM and universes bug.

v8.5 2018-02-21 10:34:02 UTC 2018-02-21
Updating CHANGES about critical VM and universes bug.

Author: Hugo Herbelin
Author Date: 2018-02-14 22:04:04 UTC

Updating CHANGES about critical VM and universes bug.

v8.2 2017-12-27 21:39:35 UTC 2017-12-27
Adding support for OCaml 4.06.0 (option -unsafe-string needed).

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

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

And other minor changes.

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

v8.3 2017-12-09 15:41:18 UTC 2017-12-09
Adding support for OCaml 4.06.0 (option -unsafe-string needed).

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

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

And other minor changes.

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

v8.4 2017-12-08 23:38:28 UTC 2017-12-08
Adding support for OCaml 4.06.0 (option -unsafe-string needed).

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

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

And other minor changes.

v8.1 2016-04-28 08:17:30 UTC 2016-04-28
Minor patch to build Coq 8.1 on OS X (no native "cp --parent").

Author: Timothy Bourke
Author Date: 2016-04-28 08:11:52 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.

v8.0 2016-03-08 09:47:25 UTC 2016-03-08
Default CoqIDE modifiers for menu did not work (e.g. "d" was

Author: notin
Author Date: 2006-11-07 14:56:53 UTC

Default CoqIDE modifiers for menu did not work (e.g. "d" was
activating the "d" template menu).

I backported svn revision 9349 from JMN which fixes the problem (even
though I don't know why the previous setting would have worked at some
early time around 2004, in 8.0, before 8.1 is released).

Log of r9349 was:

Changement des modifeurs par défaut dans CoqIDE (problème de
compatibilité entre architecture)

112 of 12 results
This repository contains Public information 
Everyone can see this information.

Subscribers