coq-community/vscoq issues and pull requests

#79 - Remove comment delimitators from brackets list

Pull Request - State: closed - Opened by bugarela about 5 years ago - 1 comment

#79 - Remove comment delimitators from brackets list

Pull Request - State: closed - Opened by bugarela about 5 years ago - 1 comment

#78 - coqtop could not be started: Error: spawn coqidetop.opt ENOENT

Issue - State: closed - Opened by l1yefeng about 5 years ago - 6 comments

#78 - coqtop could not be started: Error: spawn coqidetop.opt ENOENT

Issue - State: closed - Opened by l1yefeng about 5 years ago - 6 comments

#77 - Error handling if coq fails to start could be more robust

Issue - State: closed - Opened by Blaisorblade about 5 years ago - 2 comments
Labels: enhancement

#77 - Error handling if coq fails to start could be more robust

Issue - State: closed - Opened by Blaisorblade about 5 years ago - 2 comments
Labels: enhancement

#76 - auto bracketting and comment

Issue - State: closed - Opened by thery about 5 years ago

#76 - auto bracketting and comment

Issue - State: closed - Opened by thery about 5 years ago

#75 - Fix #74: Document desynchronized after undo

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#75 - Fix #74: Document desynchronized after undo

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#74 - Document desynchronized after undo

Issue - State: closed - Opened by maximedenes about 5 years ago

#74 - Document desynchronized after undo

Issue - State: closed - Opened by maximedenes about 5 years ago

#73 - Error messages inside Proof View

Issue - State: closed - Opened by thery about 5 years ago - 8 comments
Labels: enhancement

#73 - Error messages inside Proof View

Issue - State: closed - Opened by thery about 5 years ago - 8 comments
Labels: enhancement

#72 - VSCoq has been released.

Pull Request - State: closed - Opened by Zimmi48 about 5 years ago
Labels: documentation

#72 - VSCoq has been released.

Pull Request - State: closed - Opened by Zimmi48 about 5 years ago
Labels: documentation

#71 - Add utf8 syntax highlighting

Pull Request - State: closed - Opened by KyleDavidE about 5 years ago

#71 - Add utf8 syntax highlighting

Pull Request - State: closed - Opened by KyleDavidE about 5 years ago

#70 - add icon

Pull Request - State: closed - Opened by thery about 5 years ago

#70 - add icon

Pull Request - State: closed - Opened by thery about 5 years ago

#69 - [VsCoq1] Server is webpacked.

Pull Request - State: closed - Opened by vlj about 5 years ago - 9 comments

#69 - [VsCoq1] Server is webpacked.

Pull Request - State: closed - Opened by vlj about 5 years ago - 9 comments

#68 - Update publisher metadata

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#68 - Update publisher metadata

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#67 - By default, do not indent after opening a proof

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#67 - By default, do not indent after opening a proof

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#66 - Use `coqidetop.opt` instead of `coqidetop`

Pull Request - State: closed - Opened by maximedenes about 5 years ago - 13 comments

#66 - Use `coqidetop.opt` instead of `coqidetop`

Pull Request - State: closed - Opened by maximedenes about 5 years ago - 13 comments

#65 - VsCoq does not work with Coq built using Dune

Issue - State: closed - Opened by maximedenes about 5 years ago
Labels: bug

#65 - VsCoq does not work with Coq built using Dune

Issue - State: closed - Opened by maximedenes about 5 years ago
Labels: bug

#64 - Single build entry point.

Pull Request - State: closed - Opened by vlj about 5 years ago - 1 comment

#64 - Single build entry point.

Pull Request - State: closed - Opened by vlj about 5 years ago - 1 comment

#63 - Update changelog for upcoming 0.3.0

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#62 - Open proof view not working once closed

Issue - State: closed - Opened by Blaisorblade about 5 years ago - 1 comment
Labels: bug

#62 - Open proof view not working once closed

Issue - State: closed - Opened by Blaisorblade about 5 years ago - 1 comment
Labels: bug

#61 - Clear goals on not in proof mode

Pull Request - State: closed - Opened by Blaisorblade about 5 years ago

#61 - Clear goals on not in proof mode

Pull Request - State: closed - Opened by Blaisorblade about 5 years ago

#60 - Clear the goals when not in proof mode

Issue - State: closed - Opened by Blaisorblade about 5 years ago

#60 - Clear the goals when not in proof mode

Issue - State: closed - Opened by Blaisorblade about 5 years ago

#59 - Output spaces instead of non-breaking spaces

Pull Request - State: closed - Opened by Blaisorblade about 5 years ago - 3 comments

#59 - Output spaces instead of non-breaking spaces

Pull Request - State: closed - Opened by Blaisorblade about 5 years ago - 3 comments

#58 - Output spaces instead of non-breaking spaces

Issue - State: closed - Opened by Blaisorblade about 5 years ago - 4 comments

#57 - Obligation status not displayed

Issue - State: closed - Opened by TheoWinterhalter about 5 years ago - 9 comments
Labels: bug

#57 - Obligation status not displayed

Issue - State: closed - Opened by TheoWinterhalter about 5 years ago - 9 comments
Labels: bug

#56 - Change keybindings for macOS to avoid beeps

Pull Request - State: closed - Opened by TheoWinterhalter about 5 years ago - 1 comment

#56 - Change keybindings for macOS to avoid beeps

Pull Request - State: closed - Opened by TheoWinterhalter about 5 years ago - 1 comment

#55 - Info v.s. Debug output

Issue - State: open - Opened by gares about 5 years ago - 5 comments
Labels: enhancement

#55 - Info v.s. Debug output

Issue - State: open - Opened by gares about 5 years ago - 5 comments
Labels: enhancement

#54 - Remove proofview customization logic and expose themable colors instead

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#54 - Remove proofview customization logic and expose themable colors instead

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#53 - Remove dead code + various clean-ups

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#53 - Remove dead code + various clean-ups

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#52 - Test Coq version

Issue - State: closed - Opened by maximedenes about 5 years ago - 1 comment
Labels: enhancement

#52 - Test Coq version

Issue - State: closed - Opened by maximedenes about 5 years ago - 1 comment
Labels: enhancement

#51 - Package building

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#51 - Package building

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#50 - Fix #33: Top module name should be set properly

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#50 - Fix #33: Top module name should be set properly

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#49 - Remove external opening of proof view

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#49 - Remove external opening of proof view

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#48 - Remove company-coq submodule

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#48 - Remove company-coq submodule

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#47 - Show warnings in diagnostics

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#47 - Show warnings in diagnostics

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#46 - Fix #39: UnhandledPromiseRejectionWarning

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#46 - Fix #39: UnhandledPromiseRejectionWarning

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#45 - Change default navigation keybindings

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#45 - Change default navigation keybindings

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#44 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger about 5 years ago

#44 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger about 5 years ago

#43 - Update README

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#43 - Update README

Pull Request - State: closed - Opened by maximedenes about 5 years ago

#42 - Migrate links

Pull Request - State: closed - Opened by liyishuai about 5 years ago - 1 comment
Labels: documentation

#42 - Migrate links

Pull Request - State: closed - Opened by liyishuai about 5 years ago - 1 comment
Labels: documentation

#41 - Can not open proof view

Issue - State: closed - Opened by speedcell4 over 5 years ago - 8 comments

#41 - Can not open proof view

Issue - State: closed - Opened by speedcell4 over 5 years ago - 8 comments

#40 - [parser] understand lp:{{...}} quotations

Pull Request - State: closed - Opened by gares over 5 years ago - 1 comment

#40 - [parser] understand lp:{{...}} quotations

Pull Request - State: closed - Opened by gares over 5 years ago - 1 comment

#39 - UnhandledPromiseRejectionWarning

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

#39 - UnhandledPromiseRejectionWarning

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

#38 - Fix #14: VsCoq's parser not coping with some notations

Pull Request - State: closed - Opened by maximedenes over 5 years ago - 4 comments

#37 - No answer to Search after Check

Issue - State: closed - Opened by thery over 5 years ago - 2 comments

#36 - Feedback to empty Search

Issue - State: closed - Opened by thery over 5 years ago - 3 comments
Labels: enhancement

#35 - Do not show info panel when info feedback is received

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#34 - [wish] Control over display options

Issue - State: closed - Opened by gares over 5 years ago
Labels: enhancement

#33 - Top module name should be set properly

Issue - State: closed - Opened by maximedenes over 5 years ago
Labels: bug

#32 - When opening proof view, keep focus and show goal

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#31 - Remove coqtop wrapper

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#30 - Improve default key bindings

Issue - State: closed - Opened by maximedenes over 5 years ago
Labels: enhancement

#29 - Do not reset Coq when going back past the beginning of document

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#28 - Should report warnings in diagnosis

Issue - State: closed - Opened by maximedenes over 5 years ago
Labels: bug

#27 - Print Coq's debug messages to debug panel

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#26 - Focus lost on first go to point

Issue - State: closed - Opened by maximedenes over 5 years ago
Labels: bug

#25 - Remove proof view customization logic

Issue - State: closed - Opened by maximedenes over 5 years ago
Labels: bug, enhancement

#24 - Share protocol definition between server and client

Issue - State: closed - Opened by maximedenes over 5 years ago - 1 comment
Labels: enhancement

#23 - Update documentation, readme, manifest files

Issue - State: closed - Opened by maximedenes over 5 years ago - 1 comment
Labels: documentation, enhancement

#22 - Remove ad-hoc handling of `jquery` and `jquery-ui`

Issue - State: closed - Opened by maximedenes over 5 years ago
Labels: enhancement

#21 - Use webpack

Issue - State: closed - Opened by maximedenes over 5 years ago - 2 comments
Labels: enhancement

#20 - `html_views` and `server` should not build in `client`

Issue - State: closed - Opened by maximedenes over 5 years ago - 2 comments
Labels: enhancement

#19 - Fix one more security issue (with diff)

Pull Request - State: closed - Opened by maximedenes over 5 years ago

GitHub / coq-community/vscoq issues and pull requests