Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq-community/vscoq issues and pull requests

#18 - Debug messages are not displayed

Issue - State: closed - Opened by gares over 5 years ago - 1 comment
Labels: bug

#17 - Fix security

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#16 - customize command coq search

Issue - State: open - Opened by CohenCyril over 5 years ago
Labels: enhancement

#15 - coq prompt search misses history

Issue - State: closed - Opened by CohenCyril over 5 years ago - 1 comment
Labels: enhancement

#14 - vscoq parser is not coping with mathcomp/algebra/interval.v notations

Issue - State: closed - Opened by CohenCyril over 5 years ago - 1 comment
Labels: bug

#13 - Errors in query make vscoq crazy

Issue - State: closed - Opened by CohenCyril over 5 years ago - 6 comments
Labels: bug

#12 - Fix and simplify inheritance of CSS properties from VSCode

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#11 - Fix queries for Coq >= 8.7.0

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#10 - Queries do not work and desynchronize the state

Issue - State: closed - Opened by CohenCyril over 5 years ago

#9 - Goto definition does not work

Issue - State: closed - Opened by CohenCyril over 5 years ago - 3 comments
Labels: enhancement

#8 - Bump lodash from 4.17.11 to 4.17.14 in /server

Pull Request - State: closed - Opened by dependabot[bot] over 5 years ago
Labels: dependencies

#7 - Visual Studio Marketplace release

Issue - State: closed - Opened by liyishuai over 5 years ago - 17 comments

#6 - update version

Pull Request - State: closed - Opened by thery over 5 years ago - 1 comment

#5 - Bump ws from 2.3.1 to 3.3.1 in /client

Pull Request - State: closed - Opened by dependabot[bot] over 5 years ago
Labels: dependencies

#4 - Switch to Unix-style newlines

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#3 - Fix Admit Obligation snippet

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#2 - Fix #138 and #157

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#1 - Add CI

Pull Request - State: closed - Opened by maximedenes over 5 years ago