From d37ba0c956737ba69c2c45f4fdc50e24ff292469 Mon Sep 17 00:00:00 2001 From: Mario Carneiro Date: Sat, 20 Jul 2024 02:11:51 +0200 Subject: [PATCH] fix: use github warning box syntax --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 1614761e..9cb6b475 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,5 @@ -> **Warning:** Lean 3 is officially End-of-Life, and upstream (mathlib4) support for +> [!WARNING] +> Lean 3 is officially End-of-Life, and upstream (mathlib4) support for > `#align` statements has ended, meaning that mathport no longer works on modern > versions of mathlib4. The last version of mathlib4 prior to EOL is > the [mathlib4:v3-eol](https://github.com/leanprover-community/mathlib4/releases/tag/v3-eol) tag,