From 32daab8d201d35cd79cc9bb4f5193d7ca7d5b9d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Mon, 31 Jan 2022 19:26:38 +0100
Subject: [PATCH] implement lazy declaration at begin of documentation when
 caching is active

---
 src/environments/groupthm/groupthm.dtx        | 36 +++++++++++++------
 .../groupthm/groupthm.synctex(busy)           |  0
 2 files changed, 26 insertions(+), 10 deletions(-)
 delete mode 100644 src/environments/groupthm/groupthm.synctex(busy)

diff --git a/src/environments/groupthm/groupthm.dtx b/src/environments/groupthm/groupthm.dtx
index e138894..f970309 100644
--- a/src/environments/groupthm/groupthm.dtx
+++ b/src/environments/groupthm/groupthm.dtx
@@ -2276,17 +2276,9 @@
   { \@@_Declarator: GroupedTheorem }
   { s O{} m }
   {
-    \bool_if:nTF
+    \bool_if:NTF \g_@@_cache_bool
       {
-        \g_@@_cache_bool
-        &&
-        \int_compare_p:n
-          {
-            \g_@@_cache_version_aux_int < \g_@@_cache_version_document_int
-          }
-      }
-      {
-        \hook_gput_code:nnn {@@/lazy} { groupthm }
+        \hook_gput_code:nnn {@@/definelazy} { groupthm }
       }
       {
         \use:n
@@ -2659,6 +2651,30 @@
 %
 %
 % \subsection{Caching}
+%
+% 
+% 
+%
+%    \begin{macrocode}
+  \hook_gput_code:nnn { begindocument } { groupthm }
+  {
+    \bool_if:nTF
+      {
+        \g_@@_cache_bool
+        &&
+        \int_compare_p:n
+          {
+            \g_@@_cache_version_aux_int < \g_@@_cache_version_document_int
+          }
+      }
+      {
+        \hook_use_once:n { @@ / define lazy }
+      }
+      {
+      }
+  }
+%    \end{macrocode}  
+% 
 % 
 % 
 % 
diff --git a/src/environments/groupthm/groupthm.synctex(busy) b/src/environments/groupthm/groupthm.synctex(busy)
deleted file mode 100644
index e69de29..0000000