This repository has been archived by the owner on Oct 14, 2023. It is now read-only.
out of date files on bitbucket #1974
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
https://bitbucket.org/leanprover/ contains old files that haven't been updated, but no obvious clue to direct people not to use them. Maybe delete, or sync them to current?
The text was updated successfully, but these errors were encountered: