siegebell/vscoq issues and pull requests

#75 - redirect output to file

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

#74 - allow interpret to point while processing

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

#73 - parsing highlight is not shown for "step forward"

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

#72 - don't load if doc is viewed in diff-mode

Issue - State: open - Opened by siegebell about 8 years ago - 1 comment
Labels: bug, ui, blocked

#71 - autodetect coqtop version

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

#70 - create separate extensions to provide CoqIDE & ProofGeneral keybindings

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

#69 - coq-parser incorrectly handled comments at end of doc.

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

#68 - dealloc. highlights etc. when closing a doc

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

#67 - feature: synchronous interpret to point

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

#66 - feature: show proof-view for any processed state

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

#65 - diff type errors

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

#64 - getGoal fails if there are no prettify-symbols substitutions

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

#63 - tweak color schemes

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

#62 - make coq wrapper work by default on windows

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

#61 - make xml-protocol tracing opt-in

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

#60 - SetOptions coq commands are not persistent

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

#59 - support RichPP in 8.6

Issue - State: closed - Opened by siegebell about 8 years ago - 1 comment
Labels: xml-protocol

#58 - lazy sentence cancelling

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

#57 - client: unit tests

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

#56 - coqtop interactive shell

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

#55 - unit testing

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

#54 - chords: support multiple chords keybindings

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

#53 - wiki: show how to get emacs keybindings (alt. extensions)

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

#52 - wiki: sample proof-general keybindings

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

#51 - proof-view: incorrect wrapping in conclusion text

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

#50 - prettify-symbols-mode in proofview

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

#49 - status bar for multiple docs breaks

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

#48 - documentation for Search command

Pull Request - State: closed - Opened by zjhmale about 8 years ago

#47 - Documentation for Interp command

Issue - State: closed - Opened by zjhmale about 8 years ago - 2 comments

#46 - Goal return type is wrong

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

#45 - add documentations for more commands

Pull Request - State: closed - Opened by zjhmale about 8 years ago

#44 - update STM doc link

Pull Request - State: closed - Opened by zjhmale about 8 years ago

#43 - the README needs screenshots

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

#42 - add timings to idtac output

Issue - State: open - Opened by siegebell over 8 years ago
Labels: enhancement

#41 - output buffers should not be duplicated among documents

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

#40 - highlighting breaks when whole lines are moved

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

#39 - track compute times for each sentence

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

#38 - Add support for latex rendering

Issue - State: open - Opened by siegebell over 8 years ago
Labels: enhancement, ui

#37 - When a document is focused, make its ProofView visible

Issue - State: open - Opened by siegebell over 8 years ago - 2 comments
Labels: ui, blocked

#36 - Set decorations for all editors of document

Issue - State: closed - Opened by siegebell over 8 years ago - 1 comment
Labels: ui

#35 - Make idtac output window appear

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

#34 - empty goals cause exceptions

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

#33 - Feature: Peek definition

Issue - State: open - Opened by siegebell almost 9 years ago
Labels: enhancement

#32 - Feature: Find definition

Issue - State: closed - Opened by siegebell almost 9 years ago - 1 comment
Labels: enhancement

#31 - Feature: Find references

Issue - State: open - Opened by siegebell almost 9 years ago
Labels: enhancement

#30 - Feature: Show fancy window pane for goal and hyps, etc.

Issue - State: closed - Opened by siegebell almost 9 years ago - 2 comments
Labels: enhancement

#29 - Feature: Rename identifiers

Issue - State: open - Opened by siegebell almost 9 years ago
Labels: enhancement

#28 - Feature: Ltac debugging

Issue - State: open - Opened by siegebell almost 9 years ago
Labels: enhancement, blocked

#27 - Feature: Autocompletion

Issue - State: closed - Opened by siegebell almost 9 years ago - 2 comments
Labels: enhancement

#26 - Feature: move cursor with stepForward, etc.

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

#25 - Feature: gutter icons for each edit position

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

#24 - Feature: finish computation command

Issue - State: closed - Opened by siegebell almost 9 years ago
Labels: enhancement

#23 - editAt + insert text seems to break highlighting

Issue - State: closed - Opened by siegebell almost 9 years ago
Labels: bug, ui

#22 - Feature: show info messages in own output buffer

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

#21 - handle _CoqProject

Issue - State: closed - Opened by siegebell almost 9 years ago - 1 comment
Labels: enhancement

#20 - quotes in comments must be correctly matched for syntax highlighting

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

#19 - quotes in comments must be correctly matched

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

#18 - Feature: queries

Issue - State: closed - Opened by siegebell almost 9 years ago
Labels: enhancement

#17 - Feature: set coq options

Issue - State: closed - Opened by siegebell almost 9 years ago - 1 comment
Labels: enhancement

#16 - Feature: edit locks

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

#15 - Feature: lazy load coqtop

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

#14 - Feature: display `Check` messages, etc.

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

#13 - Feature: forward messages to extension client

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

#12 - Feature: parse bullets

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

#11 - Feature: status bar (e.g. ready vs working)

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

#10 - Test cases for mutex

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

#9 - Feature: implement cool mutex with cancellation tokens

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

#8 - Feature: interrupt computation

Issue - State: closed - Opened by siegebell almost 9 years ago - 1 comment
Labels: enhancement

#7 - Feature: show Goal and Hyps

Issue - State: closed - Opened by siegebell almost 9 years ago
Labels: enhancement

#6 - Feature: Clear all highlights upon reset

Issue - State: closed - Opened by siegebell almost 9 years ago
Labels: enhancement

#5 - Feature: Go to point

Issue - State: closed - Opened by siegebell almost 9 years ago
Labels: enhancement

#4 - Feature: Edit_at when editing an interpreted proof (and not whitespace)

Issue - State: closed - Opened by siegebell almost 9 years ago
Labels: enhancement

#3 - Feature: Allow whitespace and comment editing of interpreted text

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

#2 - Feature: Edit causes editAt event as necessary

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

#1 - Track highlights per document

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

GitHub / siegebell/vscoq issues and pull requests