| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
|
lp://staging/ |
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://staging/ |
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://staging/ |
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://staging/ |
1 Development | 2012-07-27 01:56:10 UTC |
1.
Initial commit.
Author:
Edward Z. Yang
Initial commit. |
|
| lp://staging/urweb | 1 Development | 2012-07-27 01:36:25 UTC | This branch has not been imported yet. | |
| 1 → 5 of 5 results | First • Previous • Next • Last |
