Zulip Chat Archive

Stream: PR reviews

Topic: vscode - add unicode completion to markdown files

Edward Ayers (Oct 17 2018 at 14:20):

https://github.com/leanprover/vscode-lean/pull/96

Last updated: Feb 28 2026 at 14:05 UTC