Fixed big in thmproof named arguments

sahasatvik · Feb 25, 2024 · 5bc3bf8 · 5bc3bf8
1 parent a653b2b
commit 5bc3bf8
Show file tree

Hide file tree

Showing 6 changed files with 2 additions and 0 deletions.
diff --git a/basic.pdf b/basic.pdf
diff --git a/differential_calculus.pdf b/differential_calculus.pdf
diff --git a/manual.pdf b/manual.pdf
diff --git a/manual.typ b/manual.typ
@@ -579,6 +579,7 @@ appropriate for proofs.
     ..args,
     namefmt: emph,
     bodyfmt: proof-bodyfmt,
+    ..args.named()
 ).with(numbering: none)
 ```
 

diff --git a/manual_examples.pdf b/manual_examples.pdf
diff --git a/theorems.typ b/theorems.typ
@@ -212,6 +212,7 @@
     ..args,
     namefmt: emph,
     bodyfmt: proof-bodyfmt,
+    ..args.named()
 ).with(numbering: none)