v3.13.1

chore(*): release 3.13.1 (#246)

v3.13.0

chore(*): release 3.13.0 (#243)

Features:
 - use persistent data structures, to improve performance
   of (module) docstrings (#241)
 - cache constructed `simp_lemma` objects (#234)
 - support `local attribute [-instance]` (#240)
 - show goal after `;` (#239)
 - `==`: compare id (#238)
 - mark deps of fixed as fixed (#237)

Changes:
 - Most of `library/init/algebra/*` has been deleted,
   as part of moving the algebraic hierarchy to mathlib (#229)

v3.12.0

chore(*): release 3.12.0 (#235)

v9.9.9

Make ci_emscripten_zip executable.

v3.11.0

fix(.github/workflows): support old macos versions (#222)

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Testing.20Lean.209.2E9.2E9/near/196914237

we-love-bors

Make ci_emscripten_zip executable.

v3.10.0

chore(*): release version 3.10.0

v3.9.0

chore(*): release version 3.9.0

v3.8.0

chore(*): release version 3.8.0

v3.7.2

chore(*): release version 3.7.2