Releases: leanprover/elan
Releases · leanprover/elan
v3.1.0
chore: Release elan version 3.1.0
v3.0.0
chore: Release elan version 3.0.0
v2.0.1
chore: Release elan version 2.0.1
v2.0.0
chore: Release elan version 2.0.0
v1.4.6
chore: Release elan version 1.4.6
v1.4.5
chore: Release
v1.4.4
chore: Release elan version 1.4.4
v1.4.3
chore: Release elan version 1.4.3
v1.4.2
(cargo-release) elan version 1.4.2
v1.4.1
(cargo-release) elan version 1.4.1