From 1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Tue, 4 Feb 2020 22:15:45 +0100
Subject: Change the date format

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

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

diff --git a/site/posts/StronglySpecifiedFunctions.v b/site/posts/StronglySpecifiedFunctions.v
index 9aceb67..d241c26 100644
--- a/site/posts/StronglySpecifiedFunctions.v
+++ b/site/posts/StronglySpecifiedFunctions.v
@@ -1,6 +1,7 @@
 (** #
 <h1>Strongly-Specified Functions in Coq with the <code>refine</code> Tactic</h1>
-<time datetime="2015-07-11">2015-07-11</time>
+
+<span class="time">January 11, 2015</span>
     # *)
 
 (** I started to play with Coq, the interactive theorem prover
-- 
cgit v1.2.3