-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Marketplace: decide preview/private/public release posture
questionFurther information is requestedFurther information is requestedStatus: Open.#97 In Arthur742Ramos/Isabelle-VSCode;Add walkthrough screenshots per media/screenshots/README.md spec
alpha-blockerBlocks promoting the alpha to betaBlocks promoting the alpha to betadocumentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersStatus: Open.#93 In Arthur742Ramos/Isabelle-VSCode;Tier-2 manual verification for v0.1.0-alpha.5
alpha-blockerBlocks promoting the alpha to betaBlocks promoting the alpha to betadocumentationImprovements or additions to documentationImprovements or additions to documentationmanual-verificationRequires Tier-2 manual verification on a real Isabelle installRequires Tier-2 manual verification on a real Isabelle installStatus: Open.#90 In Arthur742Ramos/Isabelle-VSCode;Upstream-blocked: textDocument/documentSymbol merge from Isabelle/PIDE
enhancementNew feature or requestNew feature or requestupstream-blockedBlocked by an upstream dependency (e.g. Isabelle LSP surface)Blocked by an upstream dependency (e.g. Isabelle LSP surface)Status: Open.#89 In Arthur742Ramos/Isabelle-VSCode;