diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-30 14:47:00 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-30 14:47:00 +0100 |
| commit | 1018d8f0626f6fc0be8d101e100b8ae9a28a36cf (patch) | |
| tree | 90ce625c903cf2b4fe355706772e5b8cd8058c88 /source/wg05 | |
| parent | 0e635fbe2949d5bb944a60c0ccf83eb6f1de31e2 (diff) | |
chore: add dot to fix typo in tn001.05.tex
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source/wg05')
| -rw-r--r-- | source/wg05/tn/tn001.05.tex | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/source/wg05/tn/tn001.05.tex b/source/wg05/tn/tn001.05.tex index 28d8d0c..dba4083 100644 --- a/source/wg05/tn/tn001.05.tex +++ b/source/wg05/tn/tn001.05.tex @@ -48,14 +48,13 @@ Let the following formula: \begin{enumerate} \item $\Gamma$ as defined previously as the `execution product' shall always be valid within the execution context $E$. - \item The execution context $E$ shall not denote $\varnothing$. \end{enumerate} \section{The Unknown Execution} -Let an `Unknown Execution' $U$ be defined regarding an execution product $\Gamma$ \\ +Let an `Unknown Execution' $U$ be defined regarding an execution product $\Gamma$. \\ Let $N$ be defined as $\varnothing$. \subsection{Properties} |