From ca7a8d6dfbec10ce4a7b05158478482ad07a5a34 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 12 Jul 2020 12:33:55 +0200
Subject: Add missing revisions tables

---
 site/posts/ClightIntroduction.v | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/site/posts/ClightIntroduction.v b/site/posts/ClightIntroduction.v
index eaae907..0d53f33 100644
--- a/site/posts/ClightIntroduction.v
+++ b/site/posts/ClightIntroduction.v
@@ -13,7 +13,9 @@ Import ListNotations.
     Clight and its semantics. This write-up is the result of this challenge,
     written as I was progressing.
 
-    #<div id="generate-toc"></div># *)
+    #<div id="generate-toc"></div>#
+
+    #<div id="history">site/posts/ClightIntroduction.v</div># *)
 
 (** ** Installing CompCert *)
 
-- 
cgit v1.2.3