commit: e0ead1ce175bee13f00a4b66741e038c1c4b697a

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Apr 24 13:10:46 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Apr 24 13:10:46 2024 +0200
tree: 556b424e1445b2ad8e8d8906ebf0675192debf79
parent: 62cdb51ed5b9d8487877d5a4adbcd4659d81fc6a [diff]

fix: trace timings in infoview

src/Lean/Widget/InteractiveDiagnostic.lean[diff]

1 file changed

tree: 556b424e1445b2ad8e8d8906ebf0675192debf79

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.