Deploy to GitHub Pages on develop: da10dd3d17709595f977d73d807a4db71f…

…2ca646
tamarin-prover · Dec 10, 2024 · 9c2e17e · 9c2e17e
1 parent 9223a21
commit 9c2e17e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/develop/book/003_example.html b/develop/book/003_example.html
@@ -166,7 +166,7 @@ <h2 id="modeling-a-public-key-infrastructure">Modeling a Public
       unconnected.</p>
       <p>The above rule can therefore be read as follows. First,
       generate a fresh name <code>~ltk</code> (of sort fresh), which is
-      the new private (long term) key, and non-deterministically choose
+      the new private (long-term) key, and non-deterministically choose
       a public name <code>A</code>, for the agent for whom we are
       generating the key-pair. Afterward, generate the fact
       <code>!Ltk($A, ~ltk)</code> (the exclamation mark <code>!</code>

diff --git a/develop/tex/tamarin-manual.pdf b/develop/tex/tamarin-manual.pdf