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 |
10699.
Experiment propagation of implicit ar...
Author:
herbelin
Experiment propagation of implicit arguments and arguments scope for |
|
|
lp:coq/v8.2
Series: v8.2 |
1 Development | 2009-11-02 14:39:30 UTC |
10011.
Correction du bug #2175
Author:
notin
Correction du bug #2175 |
|
|
lp:~jgross- |
1 Development | 2022-08-27 10:49:52 UTC |
6304.
Merge PR #16349: [v8.0] Add support f...
Author:
Jason Gross
Merge PR #16349: [v8.0] Add support for `-h` and `--help` to configure Reviewed-by: Alizter |
|
|
lp:~jgross- |
1 Development | 2021-02-03 14:12:33 UTC |
290.
Require num on newer OCaml
Author:
Jason Gross
Require num on newer OCaml |
|
|
lp:~jgross- |
1 Development | 2021-02-03 14:12:25 UTC |
298.
Require num on newer OCaml
Author:
Jason Gross
Require num on newer OCaml |
|
|
lp:~jgross- |
1 Development | 2017-12-27 21:39:35 UTC |
10138.
Adding support for OCaml 4.06.0 (opti...
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. Cherry-pick from v8.4 (7f2240f). |
|
|
lp:~jgross- |
1 Development | 2017-12-09 15:41:18 UTC |
11449.
Adding support for OCaml 4.06.0 (opti...
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. Cherry-pick from v8.4 (7f2240f). |
|
|
lp:~jgross- |
1 Development | 2017-12-08 23:38:28 UTC |
13165.
Adding support for OCaml 4.06.0 (opti...
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. |
|
|
lp:~jgross- |
1 Development | 2017-06-14 17:34:35 UTC |
300.
Make coq depend on libcoq-ocaml
Author:
Jason Gross
Make coq depend on libcoq-ocaml |
|
|
lp:~jgross- |
1 Development | 2017-06-14 17:34:21 UTC |
303.
Make coq depend on libcoq-ocaml
Author:
Jason Gross
Make coq depend on libcoq-ocaml |
|
|
lp:~jgross- |
1 Development | 2017-01-23 09:44:09 UTC |
18522.
Fixing unification regression #5323.
...
Author:
Hugo Herbelin
Fixing unification regression #5323. Tracking conversion problems to reconsider was lost for evars subject |
|
|
lp:~jgross- |
1 Development | 2016-12-15 21:06:06 UTC |
288.
arch-specific coq-theories
Author:
Jason Gross
arch-specific coq-theories |
|
|
lp:~jgross- |
1 Development | 2016-12-15 21:05:57 UTC |
294.
arch-specific coq-theories
Author:
Jason Gross
arch-specific coq-theories |
|
|
lp:~jgross- |
1 Development | 2016-07-11 09:04:38 UTC |
8614.
Minor patch to build Coq 8.1 on OS X ...
Author:
Timothy Bourke
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 |
|
|
lp:~ezyang/ |
1 Development | 2016-06-15 17:56:14 UTC |
17528.
Fix test-suite for opened bug #4813.
Author:
Pierre-Marie Pédrot
Fix test-suite for opened bug #4813. |
|
|
lp:~ezyang/ |
1 Development | 2015-01-11 21:48:40 UTC |
281.
Apparently v and glob files are insta...
Author:
Edward Z. Yang
Apparently v and glob files are installed now too. Signed-off-by: Edward Z. Yang <ezyang@ |
|
|
lp:~ezyang/ |
1 Development | 2014-09-12 19:20:34 UTC |
280.
Track renaming of coq.el to gallina.e...
Author:
Edward Z. Yang
Track renaming of coq.el to gallina.el Signed-off-by: Edward Z. Yang <ezyang@ |
|
|
lp:~vcs- |
1 Development | 2013-11-18 18:39:22 UTC |
14292.
A file listing old svn branches and tags
Author:
letouzey
A file listing old svn branches and tags |
|
|
lp:~naesten/ |
1 Development | 2009-10-02 01:01:28 UTC |
10559.
Add Data.Nat with some simple stuff a...
Author:
Samuel Bronson
Add Data.Nat with some simple stuff about Nat, eq, le, and lt |
|
|
lp:~naesten/ |
1 Development | 2009-09-23 21:29:49 UTC |
10551.
Bad commit just to show a Not_found b...
Author:
Samuel Bronson
Bad commit just to show a Not_found bug in Program ... |
|
|
lp:~naesten/ |
1 Development | 2009-09-06 16:59:13 UTC |
10510.
Add a "sourcedocclean" target (split ...
Author:
Samuel Bronson
Add a "sourcedocclean" target (split from "docclean") to match "source-doc". "docclean" now depends on "source-doc", though, so it still cleans this too. |
|
| 1 → 21 of 21 results | First • Previous • Next • Last |
