v2.2.0-lv4.14.0-rc1

• Fixes a breakage from leanprover/lean4#5842

v2.2.0-lv4.9.0

• Updates the Lean 4 version
• Switches from lakefile.lean to lakefile.toml

v2.2.0-lv4.7.0

• Updates the Lean 4 version
• Adds a lake-manifest.json file

v2.2.0-lv4.0.0

• Move all utility functions into the Cli namespace so that they cannot clash with other libraries, such as Std4.
• Add a new ParseableType def ModuleName := Name that accepts Lean module names or Lean files by relative path

v2.2.0-lnightly-2023-08-23

• Add a new ParseableType def ModuleName := Name that accepts Lean module names or Lean files by relative path

v2.1.0-lnightly-2022-11-20

chore: bump nightly-2022-11-20

v2.1.0-lnightly-2022-10-31

• Move all utility functions into the Cli namespace so that they cannot clash with other libraries, such as Std4.

v2.0.0-lnightly-2022-10-20

Merge pull request #13 from digama0/nightly

chore: bump lean 10-20

v2.0.0-lnightly-2022-09-28

chore: update to most recent nightly, Std moved to Lean

v2.0.0-lnightly-2022-09-01

chore: update to most recent nightly, Bootstrap moved to Lean