-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#157 In leanprover/lean-workbench;
'File: Revert File' command does not revert from disk
bugSomething isn't workingSomething isn't workingStatus: Open.#156 In leanprover/lean-workbench;- Status: Open.#155 In leanprover/lean-workbench;
- Status: Open.#154 In leanprover/lean-workbench;
- Status: Open.#153 In leanprover/lean-workbench;
Sync FS events with collab-server state
enhancementNew feature or requestNew feature or requestStatus: Open.#151 In leanprover/lean-workbench;Sync VSCode events with collab-server state
bugSomething isn't workingSomething isn't workingStatus: Open.#150 In leanprover/lean-workbench;Apparent data loss when renaming files with unsaved changes
bugSomething isn't workingSomething isn't workingStatus: Open.#146 In leanprover/lean-workbench;- Status: Open.#142 In leanprover/lean-workbench;
- Status: Open.#140 In leanprover/lean-workbench;
- Status: Open.#132 In leanprover/lean-workbench;
- Status: Open.#130 In leanprover/lean-workbench;