more on revelatin

2026-07-16 01:53:37 +00:00 · 2026-04-09 10:29:38 +02:00
parent 02328b20f2
commit 835e10d6ef
4 changed files with 7 additions and 14 deletions
--- a/paper/src/auto/main.el
+++ b/paper/src/auto/main.el
@@ -22,6 +22,7 @@
   (LaTeX-add-labels
    "app:compute_budget"
    "tab:compute_derivation"
-    "app:kl_zeros"))
+    "app:kl_zeros"
+    "app:revelation_log"))
 :latex)