out of date files on bitbucket

leanprover / lean3

Lean Theorem Prover

http://leanprover.github.io/

Apache License 2.0

2.15k stars 217 forks source link

out of date files on bitbucket #1974

Open holtzermann17 opened 6 years ago

holtzermann17 commented 6 years ago

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?