search

alexjbest / leaff

Leaff is a diff tool for Lean environments
Apache License 2.0
15 stars 1 forks source link

chore: bump lean version to `v4.6.0-rc1`, and bump Std accordingly #7

Closed alexkeizer closed 8 months ago

alexkeizer commented 8 months ago

Bump the lean version, so that leaff is compatible with the latest version of Std.

The Diff file broke with an invalid field 'isInternalDetail' error. The docs showed that a function with this name exists in Std.Lean.Name, so I've added that import. Presumably this used to be in core and was moved to Std?

alexjbest commented 8 months ago

Yeah I'm also not sure what happened with isInternalDetail but lets just go with this then.

Thanks!