This repository has been archived by the owner on Oct 25, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 25
Issues: leanprover/lean3-web-editor
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Bad \/ substitution in online editor leaves behind syntax-error-causing hidden zero-width characters
#8
opened Aug 22, 2022 by
Strilanc
Brackets not escaped in Live urls - can't post them to StackOverflow
#2
opened Feb 14, 2018 by
Antony74
Space-triggered '\<symbol>' autocompletion messes up cursor position
#1
opened Nov 14, 2017 by
khoek
ProTip!
no:milestone will show everything without a milestone.