This commit is contained in:
2025-10-13 00:23:29 +08:00
parent d5ac6dedec
commit e604b13160
3 changed files with 65 additions and 50 deletions

View File

@@ -1,6 +1,6 @@
::: {#structure}
inc (need thm2 and a fake label)
inc (need thm2, thm1 and a fake label)
thm1 - inthm1
@@ -8,7 +8,7 @@ thm2 - inthm2 (need thm1)
::::::::::::::::
:::{include="thm2 , fakelabel" #inc}
:::{include="thm2, thm1 , fakelabel" #inc}
This line will be ignored
:::::::::::::::::::::::::::::::::::::::::::::::::::::::