Releases: leanprover/elan
Releases · leanprover/elan
v0.10.1
(cargo-release) elan version 0.10.1
v0.10.0
(cargo-release) v version 0.10.0
v0.9.0
(cargo-release) v version 0.9.0
v0.8.0
(cargo-release) v version 0.8.0
v0.7.5
(cargo-release) v version 0.7.5
v0.7.4
(cargo-release) v version 0.7.4
v0.7.3
(cargo-release) v version 0.7.3
v0.7.2
(cargo-release) v version 0.7.2
v0.7.1
(cargo-release) v version 0.7.1
v0.7.0
(cargo-release) v version 0.7.0
