commit: 0c0fa98133ede54db192b66ecf9679b01460d4c3

[log]
author: Henrik Böving <hargonix@gmail.com>

Wed Aug 21 16:30:22 2024 +0200
committer: Henrik Böving <hargonix@gmail.com>

Wed Aug 21 16:30:22 2024 +0200
tree: 130defb20dbebe5427348c67b88d000141e5020f
parent: 4b7b69c20a2eb016a71a242c27eb1fba39d5bc4d [diff]

chore: move Lean.Data.Parsec to Std.Internal.Parsec

src/Lean/Data.lean[diff]
src/Lean/Data/Json/Parser.lean[diff]
src/Lean/Data/Xml/Parser.lean[diff]
src/Lean/Elab/Tactic/BVDecide/External.lean[diff]
src/Lean/Elab/Tactic/BVDecide/LRAT/Parser.lean[diff]
src/Std.lean[diff]
src/Std/Internal.lean[Added - diff]
src/Std/Internal/Parsec.lean[Renamed from src/Lean/Data/Parsec.lean - diff]
src/Std/Internal/Parsec/Basic.lean[Renamed from src/Lean/Data/Parsec/Basic.lean - diff]
src/Std/Internal/Parsec/ByteArray.lean[Renamed from src/Lean/Data/Parsec/ByteArray.lean - diff]
src/Std/Internal/Parsec/String.lean[Renamed from src/Lean/Data/Parsec/String.lean - diff]
tests/lean/1363.lean[diff]
tests/lean/interactive/run.lean[diff]

13 files changed

tree: 130defb20dbebe5427348c67b88d000141e5020f

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