siegebell/vscoq

Issues

• The inconsistent description between github-repo-readme and VSCode extension

  #175 opened 3 years ago by Mepy
  1

• proofview does not show anything

  #174 opened 3 years ago by cogtoto
  0

• Proofview shows nothing after vscode upgrade

  #128 opened 8 years ago by RexZhang4321
  2

• Integration with native Coq LSP

  #167 opened 5 years ago by ejgallego
  20

• Coq 8.9 gives error

  #172 opened 5 years ago by varosi
  1

• Can not open proof view

  #171 opened 5 years ago by speedcell4
  1

• Does not work: Open proof view in external browser

  #140 opened 7 years ago by wieczyk
  2

• 🎉 Move to coq-community ‎🎉

  #170 opened 5 years ago by Zimmi48
  1

• Query Results and Notices overwrite rather than append

  #138 opened 7 years ago by jldodds
  2

• Error when compiling extension

  #147 opened 7 years ago by varkor
  2

• the out-of-date API

  #168 opened 6 years ago by wm775825
  1

• Hope to support the recent version of coq

  #165 opened 6 years ago by CanftIn
  1

• Annoying bell sound when running `Coq: Step Forward` using the keybindings

  #160 opened 6 years ago by mseri
  2

• Error when trying to run Coq server

  #159 opened 6 years ago by mcsosa121
  2

• Can this plugin be restarted?

  #162 opened 6 years ago by dbshch
  1

• Search doesn't appear to prove all results

  #157 opened 7 years ago by varkor
  1

• Error: Running the contributed command:'extension.coq.interpretToPoint' failed.

  #161 opened 6 years ago by xiaoxiangmoe
  0

• Add "ProofView Customization" to Docs

  #158 opened 7 years ago by nickzuber
  0

• Evaluation highlight can sometimes become desynced from text

  #144 opened 7 years ago by varkor
  1

• Stepping backward on to a Check doesn't trigger it

  #156 opened 7 years ago by varkor
  0

• Diff is unhelpful when expected types and found types are completely dissimilar

  #155 opened 7 years ago by varkor
  0

• Snippets aren't always available in lemma statements

  #154 opened 7 years ago by varkor
  0

• Add an option to not automatically open Proof View

  #153 opened 7 years ago by varkor
  0

• Invalid coqtop.args do not cause errors

  #152 opened 7 years ago by varkor
  0

• When opening Proof View, hypotheses-goals separating line is visible

  #150 opened 7 years ago by varkor
  0

• Quickly clicking "Refresh" causes a WebSocket error to flash up

  #149 opened 7 years ago by varkor
  0

• Keyboard shortcuts cause "invalid action" sound

  #143 opened 7 years ago by varkor
  1

• Proof state should be reset when "Not in proof mode."

  #145 opened 7 years ago by varkor
  0

• Interpret to point incorrect when using interpretToEndOfSentence

  #141 opened 7 years ago by varkor
  0

• Weird style sheet

  #139 opened 7 years ago by wieczyk
  2

• OSX LoadPath inconsistencies

  #137 opened 7 years ago by natelaunchbury
  1

• ProofView is always dark black themed in the April 2017 (version 1.12)

  #136 opened 7 years ago by MikeMKH
  0

• completion via sinppets

  #134 opened 8 years ago by czhang03
  5

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

  #135 opened 8 years ago by jldodds
  1

• proof as you go

  #133 opened 8 years ago by czhang03
  5

• Create an easier way to add common Coq pretty symbols

  #132 opened 8 years ago by siegebell
  3

• add more pretty symbol

  #131 opened 8 years ago by czhang03
  1

• status bar issues

  #129 opened 8 years ago by siegebell
  0

• AST parsing assumptions fails

  #130 opened 8 years ago by siegebell
  0

• status bars should not be duplicated among documents

  #127 opened 8 years ago by siegebell
  2

• autoRevealProofStateAtCursor conflicts with view options

  #121 opened 8 years ago by siegebell
  0

• proof-view: light-theme error color should be darker

  #117 opened 8 years ago by siegebell
  0

• indicate which sentence's goal state is displayed when !=focus

  #126 opened 8 years ago by siegebell
  0

• focus-arrow icon disappears when switching active editors

  #125 opened 8 years ago by siegebell
  0

• remove startedInDebugMode

  #124 opened 8 years ago by siegebell
  0

• autoRevealProofStateAtCursor should show state *after* selected sentence

  #119 opened 8 years ago by siegebell
  1

• typescript: use strictNullChecks and other checks

  #123 opened 8 years ago by siegebell
  0

• some source files import 'coqtop' instead of 'CoqTop'

  #122 opened 8 years ago by siegebell
  0

• warning: possible EventEmitter memory leak detected.

  #120 opened 8 years ago by siegebell
  2

• feature: comment sentence command

  #118 opened 8 years ago by siegebell
  0