Zulip Chat Archive

Stream: new members

Topic: Lean version update


view this post on Zulip Jakub Bober (Nov 18 2018 at 01:47):

Hello, can I somehow upgrade my Lean version without reinstalling all of the stuff? I' running it on Win10 and have a Git Bash command line. I'm sorry if it is a bad thread for such question or anything, but I'm really new.

view this post on Zulip Mario Carneiro (Nov 18 2018 at 01:53):

upgrade from what?

view this post on Zulip Mario Carneiro (Nov 18 2018 at 01:53):

do you know the version or when you last used it?

view this post on Zulip Jakub Bober (Nov 18 2018 at 01:57):

Oh okay, I finally dealt with it. I just had many unsuccessful Lean installations and some different versions of Lean all over my disc which caused the confusion. I guess it will work now.


Last updated: May 14 2021 at 00:42 UTC