From 33730531b483ae0fda6bc4da12d744393a1313bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Simon=20W=C3=BClker?= Date: Fri, 6 Jun 2025 21:26:07 +0200 Subject: [PATCH] Add part/exportparts atoms MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Simon Wülker --- web_atoms/local_names.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/web_atoms/local_names.txt b/web_atoms/local_names.txt index 1c6ab5b1..2c9632b6 100644 --- a/web_atoms/local_names.txt +++ b/web_atoms/local_names.txt @@ -293,6 +293,7 @@ exists exp exponent exponentiale +exportparts externalResourcesRequired face factorial @@ -735,6 +736,7 @@ p panose-1 param parse +part partialdiff path pathLength