From b47ee36ceab517ba84234bf09e3bb01035450a9a Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 16 Feb 2020 22:35:11 +0100
Subject: Automatically generate a revision table from git history

---
 site/posts/StronglySpecifiedFunctionsProgram.v | 19 +++++++------------
 1 file changed, 7 insertions(+), 12 deletions(-)

(limited to 'site/posts/StronglySpecifiedFunctionsProgram.v')

diff --git a/site/posts/StronglySpecifiedFunctionsProgram.v b/site/posts/StronglySpecifiedFunctionsProgram.v
index 24faf27..037b0dd 100644
--- a/site/posts/StronglySpecifiedFunctionsProgram.v
+++ b/site/posts/StronglySpecifiedFunctionsProgram.v
@@ -1,18 +1,13 @@
-(** #
-<h1>Strongly-Specified Functions in Coq, part 2: the <code>Program</code> Framework</h1>
+(** #<h1>Strongly-Specified Functions in Coq, part 2: the <code>Program</code> Framework</h1>#
 
-<p>
-  This is the second article (initially published on <span class="time">January
-  01, 2017</span>) of a series of two on how to write strongly-specified
-  functions in Coq. You can read the previous part <a
-  href="/posts/StronglySpecifiedFunctions">here</a>.
-</p>
-# *)
+    This is the second article (initially published on #<span
+    class="time">January 01, 2017</span>#) of a series of two on how to write
+    strongly-specified functions in Coq. You can read the previous part #<a
+    href="/posts/StronglySpecifiedFunctions">here</a>#. # *)
 
-(** #<div id="generate-toc"></div># *)
+(** #<div id="generate-toc"></div>#
 
-(** For the past few weeks, I have been playing around with the <<Program>> (or
-    Russel) framework of Coq. *)
+    #<div id="history">site/posts/StronglySpecifiedFunctionsProgram.v</div># *)
 
 (** ** The Theory *)
 
-- 
cgit v1.2.3