diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-03-28 00:03:41 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-03-28 14:19:29 +0200 |
| commit | 495f9db0606b0ed09e6fac59dc32de4cdc8c0087 (patch) | |
| tree | 82ea5c5e247c664de247a0f3818f393ffdb00067 /site/posts/CoqffiEcho.org | |
| parent | Release of coqffi 1.0.0~beta4 (diff) | |
2021 Spring redesign
Diffstat (limited to 'site/posts/CoqffiEcho.org')
| -rw-r--r-- | site/posts/CoqffiEcho.org | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org index 04fa253..81ae0e9 100644 --- a/site/posts/CoqffiEcho.org +++ b/site/posts/CoqffiEcho.org @@ -1,6 +1,7 @@ -#+BEGIN_EXPORT html -<h1>Implementing an Echo Server in Coq with <code>coqffi</code></h1> -#+END_EXPORT +#+TITLE: Implementing an Echo Server in Coq with ~coqffi~ + +#+SERIES: ./Coqffi.html +#+SERIES_PREV: ./CoqffiIntro.html #+NAME: coqffi_output #+BEGIN_SRC sh :results output :exports none :var mod="" @@ -21,9 +22,8 @@ Besides, this article is a literate program, and you can download [[/files/coqffi-tutorial.tar.gz][the resulting source tree]] if you want to try to read the source directly, or modify it to your taste. -#+TOC: headlines 2 - #+BEGIN_EXPORT html +<nav id="generate-toc"></nav> <div id="history">site/posts/CoqffiEcho.org</div> #+END_EXPORT |