From 5ce20ba160c070875230197f6d2284b36052b9d5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 18 Feb 2024 14:16:25 -0800 Subject: [PATCH] chore: add link to issue --- RELEASES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RELEASES.md b/RELEASES.md index 0a5aa39e1b..6054824a08 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -26,7 +26,7 @@ v4.7.0 (development in progress) the context. For example, suppose the context contains `x := val`. Then, any occurrence of `x` is replaced with `val`. - See issue #2682 for additional details. Here are some examples: + See issue [#2682](https://github.com/leanprover/lean4/pull/2682) for additional details. Here are some examples: ``` example (h : z = 9) : let x := 5; let y := 4; x + y = z := by intro x