Ecosyste.ms: Issues

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

GitHub / siegebell/vscoq issues and pull requests

#175 - The inconsistent description between github-repo-readme and VSCode extension

Issue - State: open - Opened by Mepy almost 3 years ago - 1 comment

#174 - proofview does not show anything

Issue - State: closed - Opened by cogtoto about 3 years ago

#173 - Bump ws from 2.3.1 to 7.2.0 in /client

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

#172 - Coq 8.9 gives error

Issue - State: open - Opened by varosi about 5 years ago - 1 comment

#171 - Can not open proof view

Issue - State: closed - Opened by speedcell4 over 5 years ago - 1 comment

#170 - 🎉 Move to coq-community ‎🎉

Issue - State: open - Opened by Zimmi48 over 5 years ago - 1 comment

#169 - Fix #138 and #157

Pull Request - State: open - Opened by BelegCuthalion over 5 years ago

#168 - the out-of-date API

Issue - State: open - Opened by wm775825 over 5 years ago - 1 comment

#167 - Integration with native Coq LSP

Issue - State: closed - Opened by ejgallego almost 6 years ago - 20 comments

#166 - Fix crazy snippet

Pull Request - State: open - Opened by xtrm0 almost 6 years ago

#165 - Hope to support the recent version of coq

Issue - State: open - Opened by CanftIn almost 6 years ago - 1 comment

#164 - Output spaces instead of non-breaking spaces

Pull Request - State: open - Opened by varkor about 6 years ago

#163 - Update coq.tmLanguage

Pull Request - State: open - Opened by varkor about 6 years ago

#162 - Can this plugin be restarted?

Issue - State: open - Opened by dbshch about 6 years ago - 1 comment

#160 - Annoying bell sound when running `Coq: Step Forward` using the keybindings

Issue - State: open - Opened by mseri over 6 years ago - 2 comments

#159 - Error when trying to run Coq server

Issue - State: closed - Opened by mcsosa121 over 6 years ago - 2 comments

#158 - Add "ProofView Customization" to Docs

Issue - State: open - Opened by nickzuber over 6 years ago

#157 - Search doesn't appear to prove all results

Issue - State: open - Opened by varkor over 6 years ago - 1 comment

#156 - Stepping backward on to a Check doesn't trigger it

Issue - State: open - Opened by varkor over 6 years ago

#154 - Snippets aren't always available in lemma statements

Issue - State: open - Opened by varkor over 6 years ago

#153 - Add an option to not automatically open Proof View

Issue - State: open - Opened by varkor over 6 years ago

#152 - Invalid coqtop.args do not cause errors

Issue - State: open - Opened by varkor over 6 years ago

#151 - Fix WebSocket error when loading Proof View

Pull Request - State: open - Opened by varkor over 6 years ago - 3 comments

#148 - Fix various TypeScript and VS Code issues

Pull Request - State: open - Opened by varkor over 6 years ago

#147 - Error when compiling extension

Issue - State: open - Opened by varkor over 6 years ago - 2 comments

#146 - Clear the goals when not in proof mode

Pull Request - State: open - Opened by varkor over 6 years ago

#145 - Proof state should be reset when "Not in proof mode."

Issue - State: open - Opened by varkor over 6 years ago

#144 - Evaluation highlight can sometimes become desynced from text

Issue - State: open - Opened by varkor over 6 years ago - 1 comment

#143 - Keyboard shortcuts cause "invalid action" sound

Issue - State: closed - Opened by varkor over 6 years ago - 1 comment

#142 - Provide aesthetic defaults for the proof view

Pull Request - State: open - Opened by varkor over 6 years ago

#140 - Does not work: Open proof view in external browser

Issue - State: closed - Opened by wieczyk almost 7 years ago - 2 comments

#139 - Weird style sheet

Issue - State: closed - Opened by wieczyk about 7 years ago - 2 comments

#138 - Query Results and Notices overwrite rather than append

Issue - State: open - Opened by jldodds over 7 years ago - 2 comments

#137 - OSX LoadPath inconsistencies

Issue - State: open - Opened by natelaunchbury over 7 years ago - 1 comment

#135 - ctrl-shift p (print) overrides vsc command palette shortuct

Issue - State: open - Opened by jldodds over 7 years ago - 1 comment
Labels: bug

#134 - completion via sinppets

Issue - State: closed - Opened by czhang03 over 7 years ago - 5 comments

#133 - proof as you go

Issue - State: open - Opened by czhang03 over 7 years ago - 5 comments

#132 - Create an easier way to add common Coq pretty symbols

Issue - State: open - Opened by siegebell over 7 years ago - 3 comments
Labels: ui

#131 - add more pretty symbol

Issue - State: closed - Opened by czhang03 over 7 years ago - 1 comment

#130 - AST parsing assumptions fails

Issue - State: closed - Opened by siegebell over 7 years ago
Labels: bug

#129 - status bar issues

Issue - State: closed - Opened by siegebell over 7 years ago
Labels: bug, ui

#128 - Proofview shows nothing after vscode upgrade

Issue - State: closed - Opened by RexZhang4321 over 7 years ago - 2 comments

#127 - status bars should not be duplicated among documents

Issue - State: closed - Opened by siegebell over 7 years ago - 2 comments

#126 - indicate which sentence's goal state is displayed when !=focus

Issue - State: closed - Opened by siegebell over 7 years ago
Labels: ui

#125 - focus-arrow icon disappears when switching active editors

Issue - State: closed - Opened by siegebell over 7 years ago
Labels: bug

#124 - remove startedInDebugMode

Issue - State: closed - Opened by siegebell over 7 years ago

#123 - typescript: use strictNullChecks and other checks

Issue - State: closed - Opened by siegebell over 7 years ago

#122 - some source files import 'coqtop' instead of 'CoqTop'

Issue - State: closed - Opened by siegebell over 7 years ago
Labels: bug

#121 - autoRevealProofStateAtCursor conflicts with view options

Issue - State: closed - Opened by siegebell over 7 years ago
Labels: bug

#120 - warning: possible EventEmitter memory leak detected.

Issue - State: closed - Opened by siegebell over 7 years ago - 2 comments
Labels: bug

#119 - autoRevealProofStateAtCursor should show state *after* selected sentence

Issue - State: closed - Opened by siegebell over 7 years ago - 1 comment

#118 - feature: comment sentence command

Issue - State: open - Opened by siegebell almost 8 years ago

#117 - proof-view: light-theme error color should be darker

Issue - State: open - Opened by siegebell almost 8 years ago
Labels: ui

#116 - InvalidStateError in ProofView

Issue - State: closed - Opened by benedictleejh almost 8 years ago - 11 comments

#115 - bad cursor position on error

Issue - State: closed - Opened by siegebell almost 8 years ago - 2 comments

#114 - inconsistent document state

Issue - State: closed - Opened by siegebell almost 8 years ago - 3 comments
Labels: bug

#113 - provide icons for menu commands (part. navigation)

Issue - State: open - Opened by siegebell almost 8 years ago
Labels: ui

#111 - diff goal does not handle "In environment ..."

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: bug

#110 - query: about not supported

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: bug

#109 - only show proof-view when interacting with a script

Issue - State: closed - Opened by siegebell almost 8 years ago - 1 comment
Labels: enhancement, ui

#108 - investigate: activate on _CoqProject

Issue - State: open - Opened by siegebell almost 8 years ago

#107 - line-breaks ignored in proof-view error messages

Issue - State: closed - Opened by siegebell almost 8 years ago - 1 comment
Labels: bug, proof-view

#106 - feature: diff errors

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: enhancement, ui

#105 - vscoq 0.2.6: no longer recognizes proof bullets properly

Issue - State: closed - Opened by jonleivent almost 8 years ago - 1 comment
Labels: bug

#104 - proof-view width is not correctly computed initially

Issue - State: closed - Opened by siegebell almost 8 years ago - 1 comment
Labels: bug, ui

#103 - axiom highlight is hard to see on a dark blue background

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: ui

#102 - parsing: bad syntax for Inductive

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: bug

#101 - when first command is interpret-to-point, vscoq doesn't always get that far

Issue - State: closed - Opened by jonleivent almost 8 years ago
Labels: bug

#100 - customized proof-view.css is overwritten by updating the extension

Issue - State: open - Opened by siegebell almost 8 years ago - 3 comments
Labels: bug, blocked

#99 - external proof-view does not show all colors

Issue - State: closed - Opened by siegebell almost 8 years ago - 1 comment

#98 - proof-view cannot be viewed externally in IE11

Issue - State: closed - Opened by siegebell almost 8 years ago

#97 - Put screenshots on their own lines and make them larger

Pull Request - State: closed - Opened by tchajed almost 8 years ago - 1 comment

#96 - Opening a file URL with macOS open ignores query parameters

Issue - State: closed - Opened by tchajed almost 8 years ago - 4 comments

#95 - Open proof view in external browser does nothing on macOS

Issue - State: closed - Opened by tchajed almost 8 years ago - 1 comment
Labels: bug

#94 - "incomplete" highlight is transparent

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: bug

#92 - bad richpp: normalization is combining different scopes

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: bug

#91 - customize proof-view theme

Issue - State: closed - Opened by siegebell almost 8 years ago - 11 comments
Labels: ui

#90 - command 'extension.coq.stepForward' not found

Issue - State: open - Opened by jonleivent almost 8 years ago - 4 comments
Labels: blocked

#89 - vscoq not picking up _CoqProject properly

Issue - State: closed - Opened by jonleivent almost 8 years ago - 10 comments

#88 - autounindent Qed.

Issue - State: closed - Opened by siegebell almost 8 years ago

#87 - better autoindent after bullet

Issue - State: closed - Opened by siegebell almost 8 years ago

#86 - goals memory consumption

Issue - State: closed - Opened by siegebell almost 8 years ago

#85 - diff view: wrong goal mapping

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: bug

#84 - _CoqProject support is poor

Issue - State: closed - Opened by siegebell almost 8 years ago - 1 comment
Labels: bug

#83 - Status messages takes a bool

Issue - State: closed - Opened by gares almost 8 years ago - 1 comment

#82 - crashes if vscode project folder is not opened

Issue - State: closed - Opened by siegebell almost 8 years ago
Labels: bug

#81 - conflict with prettify-symbols-mode (and other highlighters)

Issue - State: closed - Opened by siegebell almost 8 years ago - 2 comments
Labels: bug, ui, blocked

#80 - output info/notices in color

Issue - State: open - Opened by siegebell almost 8 years ago - 1 comment
Labels: blocked

#79 - feature: interpretToEndOfLine

Issue - State: closed - Opened by siegebell almost 8 years ago

#78 - autocomplete/snippets popup too agressively on "."

Issue - State: closed - Opened by siegebell about 8 years ago
Labels: ui

#77 - ltacprof is currently broken

Issue - State: closed - Opened by siegebell about 8 years ago
Labels: bug

#76 - autocomplete import/module paths

Issue - State: open - Opened by siegebell about 8 years ago
Labels: ui