-
Notifications
You must be signed in to change notification settings - Fork 55
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Control-click in infoview identifiers doesn't jump to definition
enhancementNew feature or requestNew feature or requestStatus: Open.#121 In leanprover-community/lean4web;"Server restart" broken
bugSomething isn't workingSomething isn't workingStatus: Open.#118 In leanprover-community/lean4web;bug: collaboration doesn't sync project
bugSomething isn't workingSomething isn't workingStatus: Open.#117 In leanprover-community/lean4web;bug: white flash on loading
bugSomething isn't workingSomething isn't workingStatus: Open.#108 In leanprover-community/lean4web;feat: add something like "Error Lens"
enhancementNew feature or requestNew feature or requestfuture-ideasMaintainers will not work on this but PR welcome!Maintainers will not work on this but PR welcome!Status: Open.#51 In leanprover-community/lean4web;Go-to-def
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or requestStatus: Open.#31 In leanprover-community/lean4web;Feature Request: Vim Motions
enhancementNew feature or requestNew feature or requestfuture-ideasMaintainers will not work on this but PR welcome!Maintainers will not work on this but PR welcome!Status: Open.#25 In leanprover-community/lean4web;