Zulip Chat Archive

Stream: general

Topic: VScode folds

Patrick Massot (Apr 17 2018 at 07:38):

https://code.visualstudio.com/updates/v1_22#_syntax-aware-folding works beautifully with Lean!

Last updated: May 02 2025 at 03:31 UTC