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: Aug 03 2023 at 10:10 UTC