commit: b4cb9d3ec006fc5e01fcbbf7f233864040edf71b

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 16 08:27:43 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 16 08:33:37 2025 -0800
tree: 1e0d64e1027b05a8d59b1405edfd97fed87bacea
parent: 906aa1be4b29c423a97d6909bc315fa236529a79 [diff]

fix: add workaround for `MessageData` limitations

This PR adds a workaround for the discrepancy between Terminal/Emacs and VS Code when displaying info trees.

7 files changed

tree: 1e0d64e1027b05a8d59b1405edfd97fed87bacea

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 (documentation source: doc/make/index.md).