search

leanprover / elan

The Lean version manager
Apache License 2.0
297 stars 34 forks source link

when toolchains are empty, message is confusing #81

Closed marianaalanis93 closed 3 months ago

marianaalanis93 commented 2 years ago

When .elan folder is empty (any toolchain installed) and we try to do an elan update the next message appears (which is confusing, because it doesn't give a clue about what to do next).

MicrosoftTeams-image (6)

marianaalanis93 commented 2 years ago

PR #82