editor-plugins/vscode-coq

Issues

• Not work with newer version of Visual Studio Code

  #8 opened 8 years ago
  0

• seperate infos and goals channel

  #7 opened 8 years ago
  0

• parse ∧ encode

  #6 opened 8 years ago
  0

• show message

  #5 opened 8 years ago
  0

• initialize state id use Init command

  #4 opened 8 years ago
  0

• language server

  #3 opened 8 years ago
  0

• bug fix for to cursor command

  #2 opened 8 years ago
  0

• ignore comment

  #1 opened 8 years ago
  0