From 804bae0deec3860af0036d73028f8dfb21d41389 Mon Sep 17 00:00:00 2001
From: Dennis den Ouden-van der Horst <d.denouden-vanderhorst@tudelft.nl>
Date: Sun, 4 Jan 2026 13:05:52 +0100
Subject: [PATCH] Add note inside axiom-end directive in intro

Inserted a line of text within the prf:axiom-end directive in intro.md to clarify that this text will not be rendered.
---
 book/intro.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/book/intro.md b/book/intro.md
index 4df190b..fae52ac 100644
--- a/book/intro.md
+++ b/book/intro.md
@@ -24,6 +24,7 @@ This is a child axiom. This text is inside the child directive.
 This is text after the child-start, before the child-end, inside the parent theorem.
 
 :::{prf:axiom-end}
+Text inside the end. This text will not be rendered.
 :::
 
 Finally some text after the entire child, inside the theorem start.