ras: \lispTodo -> \lispDone for TRANSIENT specialized constraints

OlivierBBB · OlivierBBB · commit fad0568c9b69 · 2025-03-30T19:35:56.000+02:00
diff --git a/hub/transient/_inputs.tex b/hub/transient/_inputs.tex
@@ -1,2 +1,2 @@
 \section{Transient-storage-rows}
-\subsection{Specialized constraints \lispTodo{}}         \label{hub: transient storage: specialized constraints}    \input{transient/specialized/_inputs}
+\subsection{Specialized constraints \lispDone{}}         \label{hub: transient storage: specialized constraints}    \input{transient/specialized/_inputs}
diff --git a/hub/transient/specialized/_inputs.tex b/hub/transient/specialized/_inputs.tex
@@ -1,3 +1,3 @@
-\subsubsection{Transient storage reading constraints \lispTodo{}}    \label{hub: transient storage: specialized: reading}            \input{transient/specialized/reading} 
-\subsubsection{Same transient storage slot           \lispTodo{}}    \label{hub: transient storage: specialized: same slot}          \input{transient/specialized/same_slot}
-\subsubsection{Undoing updates                       \lispTodo{}}    \label{hub: transient storage: specialized: undoing}            \input{transient/specialized/undoing}
+\subsubsection{Transient storage reading constraints \lispDone{}}    \label{hub: transient storage: specialized: reading}            \input{transient/specialized/reading}
+\subsubsection{Same transient storage slot           \lispDone{}}    \label{hub: transient storage: specialized: same slot}          \input{transient/specialized/same_slot}
+\subsubsection{Undoing updates                       \lispDone{}}    \label{hub: transient storage: specialized: undoing}            \input{transient/specialized/undoing}

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`\section{Transient-storage-rows}`
`2`		`-\subsection{Specialized constraints \lispTodo{}} \label{hub: transient storage: specialized constraints} \input{transient/specialized/_inputs}`
	`2`	`+\subsection{Specialized constraints \lispDone{}} \label{hub: transient storage: specialized constraints} \input{transient/specialized/_inputs}`