Skip to content

Pull requests: siegebell/vscoq

New pull request New
9 Open 4 Closed
9 Open 4 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump ws from 2.3.1 to 7.2.0 in /client dependencies Pull requests that update a dependency file
#173 opened Oct 31, 2019 by dependabot bot Loading…
Fix #138 and #157
#169 opened May 29, 2019 by BelegCuthalion Loading…
Fix crazy snippet
#166 opened Jan 29, 2019 by xtrm0 Loading…
Output spaces instead of non-breaking spaces
#164 opened Oct 15, 2018 by varkor Loading…
Update coq.tmLanguage
#163 opened Oct 9, 2018 by varkor Loading…
Fix WebSocket error when loading Proof View
#151 opened Feb 21, 2018 by varkor Loading…
1
3
Fix various TypeScript and VS Code issues
#148 opened Feb 21, 2018 by varkor Loading…
Clear the goals when not in proof mode
#146 opened Feb 20, 2018 by varkor Loading…
2
Provide aesthetic defaults for the proof view
#142 opened Feb 20, 2018 by varkor Loading…
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.