resolve

leanprover · Jan 31, 2024 · 30a8cd8 · 30a8cd8
1 parent 8010005
commit 30a8cd8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/RELEASES.md b/RELEASES.md
@@ -204,6 +204,9 @@ example : x + foo 2 = 12 + x := by
   which reduces the build time by almost 20%.
   See PR [#2478](https://github.com/leanprover/lean4/pull/2478) and RFC [#2451](https://github.com/leanprover/lean4/issues/2451).
 
+* Add pretty printer settings to omit deeply nested terms (`pp.deepTerms false` and `pp.deepTerms.threshold`) ([PR #3201](https://github.com/leanprover/lean4/pull/3201))
+
+
 v4.5.0
 ---------