leanprover / elan

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

doc: documentation updates for v4.0.0 #105

Closed semorrison closed 1 year ago

semorrison commented 1 year ago

Gah, my git branches were messed up, and I initially thought there was more to change here than there really is. The residual changes are not worth doing.