All issues

Search results

Sync FS events with collab-server state

enhancementNew feature or requestNew feature or request

Status: Open.

#151 In leanprover/lean-workbench;

· Vtec234 opened on Sep 24, 2026

Sync VSCode events with collab-server state

bugSomething isn't workingSomething isn't working

Status: Open.

#150 In leanprover/lean-workbench;

· Vtec234 opened on Sep 24, 2026

Apparent data loss when renaming files with unsaved changes

Status: Open.

#146 In leanprover/lean-workbench;

· jcreedcmu opened on Sep 23, 2026

Unify treatment of temp directories.

Status: Open.

#142 In leanprover/lean-workbench;

· jcreedcmu opened on Sep 16, 2026

Move _file to publications origin

Status: Open.

#140 In leanprover/lean-workbench;

· jcreedcmu opened on Sep 16, 2026

Deal with name collisions

Status: Open.

#132 In leanprover/lean-workbench;

· robsimmons opened on Sep 8, 2026

Open projects into a reasonable state

Status: Open.

#130 In leanprover/lean-workbench;

· robsimmons opened on Sep 6, 2026

Evaluate moving Prisma stuff into shared/

Status: Open.

#127 In leanprover/lean-workbench;

· robsimmons opened on Sep 4, 2026

/data folder migrations

Status: Open.

#126 In leanprover/lean-workbench;

· robsimmons opened on Sep 3, 2026

A user deleting a project breaks the "Active editor sessions" view

Status: Open.

#119 In leanprover/lean-workbench;

· robsimmons opened on Sep 3, 2026

Show version / installation info in admin panel and/or footer

enhancementNew feature or requestNew feature or request

Status: Open.

#99 In leanprover/lean-workbench;

· Vtec234 opened on Aug 24, 2026

Install script won't allow use of an existing empty directory

Status: Open.

#90 In leanprover/lean-workbench;

· robsimmons opened on Aug 20, 2026