View Git repositories
branches with status:
Name Status Last Modified Last Commit
lp:~jgross-h/coq/v8.2 1 Development 2017-12-27 21:39:35 UTC 2017-12-27
10138. Adding support for OCaml 4.06.0 (opti...

Author: Hugo Herbelin
Revision Date: 2017-12-27 21:39:35 UTC

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

And other minor changes.

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

lp:~jgross-h/coq/v8.3 1 Development 2017-12-09 15:41:18 UTC 2017-12-09
11449. Adding support for OCaml 4.06.0 (opti...

Author: Hugo Herbelin
Revision Date: 2017-12-09 15:41:18 UTC

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

And other minor changes.

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

lp:~jgross-h/coq/v8.4 1 Development 2017-12-08 23:38:28 UTC 2017-12-08
13165. Adding support for OCaml 4.06.0 (opti...

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

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

And other minor changes.

lp:~jgross-h/coq/trunk-packaging-precise 1 Development 2017-06-14 17:34:35 UTC 2017-06-14
300. Make coq depend on libcoq-ocaml

Author: Jason Gross
Revision Date: 2017-06-14 17:34:35 UTC

Make coq depend on libcoq-ocaml

lp:~jgross-h/coq/trunk-packaging 1 Development 2017-06-14 17:34:21 UTC 2017-06-14
303. Make coq depend on libcoq-ocaml

Author: Jason Gross
Revision Date: 2017-06-14 17:34:21 UTC

Make coq depend on libcoq-ocaml

lp:~jgross-h/coq/v8.5 1 Development 2017-01-23 09:44:09 UTC 2017-01-23
18522. Fixing unification regression #5323. ...

Author: Hugo Herbelin
Revision Date: 2017-01-23 09:44:09 UTC

Fixing unification regression #5323.

Tracking conversion problems to reconsider was lost for evars subject
to restriction (field last_mods was not updated and conversion
problems not considered to be changed).

lp:~jgross-h/coq/v8.5-packaging-precise 1 Development 2016-12-15 21:06:06 UTC 2016-12-15
288. arch-specific coq-theories

Author: Jason Gross
Revision Date: 2016-12-15 21:06:06 UTC

arch-specific coq-theories

lp:~jgross-h/coq/v8.5-packaging 1 Development 2016-12-15 21:06:02 UTC 2016-12-15
289. arch-specific coq-theories

Author: Jason Gross
Revision Date: 2016-12-15 21:06:02 UTC

arch-specific coq-theories

lp:~jgross-h/coq/v8.6-packaging-precise 1 Development 2016-12-15 21:05:57 UTC 2016-12-15
294. arch-specific coq-theories

Author: Jason Gross
Revision Date: 2016-12-15 21:05:57 UTC

arch-specific coq-theories

lp:~jgross-h/coq/v8.6-packaging 1 Development 2016-12-15 21:05:23 UTC 2016-12-15
297. arch-specific coq-theories

Author: Jason Gross
Revision Date: 2016-12-15 21:05:23 UTC

arch-specific coq-theories

lp:~jgross-h/coq/v8.0 1 Development 2016-07-11 09:04:47 UTC 2016-07-11
6303. Default CoqIDE modifiers for menu did...

Author: notin
Revision Date: 2016-03-08 09:47:25 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)

lp:~jgross-h/coq/v8.1 1 Development 2016-07-11 09:04:38 UTC 2016-07-11
8614. Minor patch to build Coq 8.1 on OS X ...

Author: Timothy Bourke
Revision Date: 2016-04-28 08:17:30 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.

112 of 12 results