Paper-Proof/paperproof Issues
Mathlib `have` tactic support
Updated 2`calc` tactic display
UpdatedSupport other editors
Updated 1lean - rwa tactic name
Updated 1Some notes
Closed 2Calc command doesn't work
Closed 1lake update failed
Closed 2app - make zooming better
Closed 1app - how should focusing work
Closed 1app - add bgs for deeper windows
Closed 1app - fix the lazy-loaded UI
Closed 1