Coq

View Git repositories
You can browse the source code for the development focus branch or get a copy of the branch using the command:
bzr branch lp:coq

Coq has 21 active branches owned by 3 people and 1 team. There were 0 commits in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:coq
Series: trunk
1 Development 2009-11-12 11:28:56 UTC 2009-11-12
10699. Experiment propagation of implicit ar...

Author: herbelin
Revision Date: 2009-11-12 11:28:56 UTC

Experiment propagation of implicit arguments and arguments scope for
abbreviations of applied references.

lp:coq/v8.2
Series: v8.2
1 Development 2009-11-02 14:39:30 UTC 2009-11-02
10011. Correction du bug #2175

Author: notin
Revision Date: 2009-11-02 14:39:30 UTC

Correction du bug #2175

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.

lp:~ezyang/coq/trunk 1 Development 2016-06-15 17:56:14 UTC 2016-06-15
17528. Fix test-suite for opened bug #4813.

Author: Pierre-Marie Pédrot
Revision Date: 2016-06-15 17:56:14 UTC

Fix test-suite for opened bug #4813.

lp:~ezyang/coq/trunk-packaging 1 Development 2015-01-11 21:48:40 UTC 2015-01-11
281. Apparently v and glob files are insta...

Author: Edward Z. Yang
Revision Date: 2015-01-11 21:48:40 UTC

Apparently v and glob files are installed now too.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

lp:~ezyang/coq/trunk-packaging-precise 1 Development 2014-09-12 19:20:34 UTC 2014-09-12
280. Track renaming of coq.el to gallina.e...

Author: Edward Z. Yang
Revision Date: 2014-09-12 19:20:34 UTC

Track renaming of coq.el to gallina.el

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

lp:~vcs-imports/coq/trunk-svn 1 Development 2013-11-18 18:39:22 UTC 2013-11-18
14292. A file listing old svn branches and tags

Author: letouzey
Revision Date: 2013-11-18 18:39:22 UTC

A file listing old svn branches and tags

lp:~naesten/coq/relations 1 Development 2009-10-02 01:01:28 UTC 2009-10-02
10559. Add Data.Nat with some simple stuff a...

Author: Samuel Bronson
Revision Date: 2009-10-02 01:01:28 UTC

Add Data.Nat with some simple stuff about Nat, eq, le, and lt

lp:~naesten/coq/not-found-bug-in-program-demo 1 Development 2009-09-23 21:29:49 UTC 2009-09-23
10551. Bad commit just to show a Not_found b...

Author: Samuel Bronson
Revision Date: 2009-09-23 21:29:20 UTC

Bad commit just to show a Not_found bug in Program ...

lp:~naesten/coq/2008-09-makefile-tweaks 1 Development 2009-09-06 16:59:13 UTC 2009-09-06
10510. Add a "sourcedocclean" target (split ...

Author: Samuel Bronson
Revision Date: 2009-09-04 04:31:05 UTC

Add a "sourcedocclean" target (split from "docclean") to match "source-doc".

"docclean" now depends on "source-doc", though, so it still cleans this too.

121 of 21 results
You can't create new branches for Coq.