diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-07-21 09:11:33 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-07-21 09:11:33 +0200 |
| commit | 9e4f619454e421ae008b0639afd9ddb5f7b8ce16 (patch) | |
| tree | 85f4df78ae3f485e4413eb3b60f539597edf2cf7 /site/posts/Ltac101.v | |
| parent | Remove outdated TODO note (diff) | |
Remove half-deleted sentence
Diffstat (limited to 'site/posts/Ltac101.v')
| -rw-r--r-- | site/posts/Ltac101.v | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/site/posts/Ltac101.v b/site/posts/Ltac101.v index bd539e7..b0841e9 100644 --- a/site/posts/Ltac101.v +++ b/site/posts/Ltac101.v @@ -1,6 +1,4 @@ -(** * Ltac 101 - - This article has . *) +(** * Ltac 101 *) (** In this article (originally published on #<span id="original-created-at">October 16, 2017</span>#), I give an overview of my |