commit: 168f7577dbc551097f6022007bde967808f10d54

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

Sat Jun 08 17:56:54 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Sat Jun 08 17:58:14 2024 +0200
tree: a20638f5dea5b9108e85f7e4a4c9d813f49eb81d
parent: a515d78358cea4da43009071df37681da3decba4 [diff]

fix: non-incremental command blocking further incremental reporting in macro

src/Lean/Elab/Command.lean[diff]

1 file changed

tree: a20638f5dea5b9108e85f7e4a4c9d813f49eb81d

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).