diff options
Diffstat (limited to 'site/posts/LtacMetaprogramming.v')
-rw-r--r-- | site/posts/LtacMetaprogramming.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/site/posts/LtacMetaprogramming.v b/site/posts/LtacMetaprogramming.v index 2a4fe50..6b086e3 100644 --- a/site/posts/LtacMetaprogramming.v +++ b/site/posts/LtacMetaprogramming.v @@ -1,3 +1,6 @@ +(** #<nav><p class="series">Ltac.html</p> + <p class="series-next">LtacPatternMatching.html</p></nav># *) + (** * Ltac is an Imperative Metaprogramming Language *) (** #<div id="history">site/posts/LtacMetaprogramming.v</div># *) |