diff options
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, |