diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-04 22:15:45 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-04 22:15:45 +0100 |
commit | 1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 (patch) | |
tree | 1860d41cf4e307cf1cbf872f335a4ca1b422392e /site/posts/Ltac101.v | |
parent | Rework StronglySpecifiedFunctionsProgram.v (diff) |
Change the date format
Diffstat (limited to 'site/posts/Ltac101.v')
-rw-r--r-- | site/posts/Ltac101.v | 3 |
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, |