doc: revert avoiding references to stable

leanprover / elan

The Lean version manager

Apache License 2.0

292 stars 34 forks source link

Closed Kha closed 12 months ago

Kha commented 1 year ago

This reverts commit 987ac8cb069446feaca82b690e09d94bc25f7253 and updates further occurrences.