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 14 minutes ago.

Import started 26 minutes ago on izar and finished 14 minutes ago taking 12 minutes — see the log
Import started 6 hours ago on izar and finished 6 hours ago taking 14 minutes — see the log
Import started 12 hours ago on izar and finished 12 hours ago taking 12 minutes — see the log
Import started 18 hours ago on alnitak and finished 18 hours ago taking 13 minutes — see the log
Import started on 2019-06-25 on alnitak and finished on 2019-06-25 taking 15 minutes — see the log
Import started on 2019-06-24 on alnitak and finished on 2019-06-24 taking 15 minutes — see the log
Import started on 2019-06-24 on izar and finished on 2019-06-24 taking 13 minutes — see the log
Import started on 2019-06-24 on izar and finished on 2019-06-24 taking 21 minutes — see the log
Import started on 2019-06-24 on alnitak and finished on 2019-06-24 taking 15 minutes — see the log
Import started on 2019-06-23 on alnitak and finished on 2019-06-23 taking 13 minutes — see the log

Branches

Name Last Modified Last Commit
master 2019-06-25 23:14:06 UTC 6 hours ago
Merge PR #10401: Fix printers test

Author: Emilio Jesus Gallego Arias
Author Date: 2019-06-25 23:14:06 UTC

Merge PR #10401: Fix printers test

Reviewed-by: ejgallego

v8.10 2019-06-25 08:00:04 UTC 22 hours ago
Backport PR #10408: Fix coqdoc title: should be on a single line.

Author: Vincent Laporte
Author Date: 2019-06-25 08:00:04 UTC

Backport PR #10408: Fix coqdoc title: should be on a single line.

v8.9 2019-05-17 12:19:23 UTC 2019-05-17
Merge PR #10171: Bump version number to 8.9.1.

Author: Guillaume Melquiond
Author Date: 2019-05-17 12:19:23 UTC

Merge PR #10171: Bump version number to 8.9.1.

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