commit: b2d70ccb056d4a45e86fd0f742905b6988d94fbd

[log]
author: Sebastian Graf <sgraf1337@gmail.com>

Mon Jun 01 09:31:52 2026 +0000
committer: Sebastian Graf <sgraf1337@gmail.com>

Mon Jun 01 09:31:52 2026 +0000
tree: 5fe06b3d3c219aef99f37e5e85b41be4dd323633
parent: e1757a0ae197a1da2af59f9791614df9bb8be43e [diff]

chore: remove `liftMethod` parser alias

This PR removes the `Lean.Parser.Term.liftMethod` alias for `Lean.Parser.Term.nestedAction` that was kept for bootstrapping during the rename in #13910. Now that stage0 has been updated, the alias is no longer needed.

3 files changed

tree: 5fe06b3d3c219aef99f37e5e85b41be4dd323633

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.