summaryrefslogtreecommitdiffstats
path: root/site/posts/Ltac101.v
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-04 22:15:45 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-04 22:15:45 +0100
commit1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 (patch)
tree1860d41cf4e307cf1cbf872f335a4ca1b422392e /site/posts/Ltac101.v
parentcdba2c81167350e5191a3518af12e8961732acf3 (diff)
Change the date format
Diffstat (limited to 'site/posts/Ltac101.v')
-rw-r--r--site/posts/Ltac101.v3
1 files changed, 2 insertions, 1 deletions
diff --git a/site/posts/Ltac101.v b/site/posts/Ltac101.v
index a9d4d68..ebf3566 100644
--- a/site/posts/Ltac101.v
+++ b/site/posts/Ltac101.v
@@ -1,6 +1,7 @@
(** #
<h1>Ltac 101</h1>
-<time datetime="2017-10-16">2017-10-16</time>
+
+<span class="time">October 16, 2017</span>
# *)
(** In this article, I give an overview of my findings about the Ltac language,