Releases: leanprover/lean4-cli
Releases · leanprover/lean4-cli
v4.23.0-rc2+patch1
- Updates the Lean 4 version
- Fixes the vararg notation (#52)
Breaking changes
- Some parts of the declaration grammar that accepted arbitrary Lean terms before have been restricted. Notably, multi-line flag and argument descriptions can now not contain inline-uses of
++anymore. It is advised to use string gaps instead.
v4.23.0-rc1+patch1
- Updates the Lean 4 version
- Fixes the vararg notation (#52)
Breaking changes
- Some parts of the declaration grammar that accepted arbitrary Lean terms before have been restricted. Notably, multi-line flag and argument descriptions can now not contain inline-uses of
++anymore. It is advised to use string gaps instead.
v4.22.0+patch1
- Updates the Lean 4 version
- Fixes the vararg notation (#52)
Breaking changes
- Some parts of the declaration grammar that accepted arbitrary Lean terms before have been restricted. Notably, multi-line flag and argument descriptions can now not contain inline-uses of
++anymore. It is advised to use string gaps instead.
v4.22.0-rc4+patch1
- Updates the Lean 4 version
- Fixes the vararg notation (#52)
Breaking changes
- Some parts of the declaration grammar that accepted arbitrary Lean terms before have been restricted. Notably, multi-line flag and argument descriptions can now not contain inline-uses of
++anymore. It is advised to use string gaps instead.
v4.22.0-rc3+patch1
- Updates the Lean 4 version
- Fixes the vararg notation (#52)
Breaking changes
- Some parts of the declaration grammar that accepted arbitrary Lean terms before have been restricted. Notably, multi-line flag and argument descriptions can now not contain inline-uses of
++anymore. It is advised to use string gaps instead.
v4.22.0-rc2+patch1
- Updates the Lean 4 version
- Fixes the vararg notation (#52)
Breaking changes
- Some parts of the declaration grammar that accepted arbitrary Lean terms before have been restricted. Notably, multi-line flag and argument descriptions can now not contain inline-uses of
++anymore. It is advised to use string gaps instead.
v4.22.0-rc1+patch1
- Updates the Lean 4 version
- Fixes the vararg notation (#52)
Breaking changes
- Some parts of the declaration grammar that accepted arbitrary Lean terms before have been restricted. Notably, multi-line flag and argument descriptions can now not contain inline-uses of
++anymore. It is advised to use string gaps instead.
v4.23.0-rc2
- Updates the Lean 4 version
v4.23.0-rc1
- Updates the Lean 4 version