commit: bd59d3b532e40e195ec7e4f272821a4e8b7ce9d5

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

Wed Mar 06 17:00:59 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Mar 06 17:01:47 2024 +0100
tree: 915ae60672480ce069cd36fc7d9a585bf0fe70b8
parent: e6072c8ee08ad79f5441f8f87b7db7fff418a700 [diff]

fix: ensure trace messages have context

Makes `infoview.maxTraceChildren` work everywhere

src/Lean/Util/Trace.lean[diff]

1 file changed

tree: 915ae60672480ce069cd36fc7d9a585bf0fe70b8

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.