diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-11 23:19:02 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-11 23:28:02 +0100 |
commit | 20f1ef7668a6332108fc39761c3b00880a043a6d (patch) | |
tree | 1640db18f537c0cba596beeb17ac7bdf5c5838ae /.gitignore | |
parent | Link to Coq dependencies’ documentation (diff) |
Update gitignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 72 |
1 files changed, 36 insertions, 36 deletions
@@ -28,78 +28,78 @@ theme.mk site/style/main.sass templates/main.html build.log -site/posts/RewritingInCoq.vo -site/posts/StronglySpecifiedFunctionsRefine.vo site/posts/AlgebraicDatatypes.vo -site/posts/MixingLtacAndGallina.vo +site/posts/StronglySpecifiedFunctionsProgram.vo site/posts/LtacPatternMatching.vo site/posts/ClightIntroduction.vo -site/posts/StronglySpecifiedFunctionsProgram.vo +site/posts/StronglySpecifiedFunctionsRefine.vo +site/posts/RewritingInCoq.vo site/posts/LtacMetaprogramming.vo -site/posts/RewritingInCoq.vok -site/posts/StronglySpecifiedFunctionsRefine.vok +site/posts/MixingLtacAndGallina.vo site/posts/AlgebraicDatatypes.vok -site/posts/MixingLtacAndGallina.vok +site/posts/StronglySpecifiedFunctionsProgram.vok site/posts/LtacPatternMatching.vok site/posts/ClightIntroduction.vok -site/posts/StronglySpecifiedFunctionsProgram.vok +site/posts/StronglySpecifiedFunctionsRefine.vok +site/posts/RewritingInCoq.vok site/posts/LtacMetaprogramming.vok -site/posts/RewritingInCoq.vos -site/posts/StronglySpecifiedFunctionsRefine.vos +site/posts/MixingLtacAndGallina.vok site/posts/AlgebraicDatatypes.vos -site/posts/MixingLtacAndGallina.vos +site/posts/StronglySpecifiedFunctionsProgram.vos site/posts/LtacPatternMatching.vos site/posts/ClightIntroduction.vos -site/posts/StronglySpecifiedFunctionsProgram.vos +site/posts/StronglySpecifiedFunctionsRefine.vos +site/posts/RewritingInCoq.vos site/posts/LtacMetaprogramming.vos -site/posts/RewritingInCoq.glob -site/posts/StronglySpecifiedFunctionsRefine.glob +site/posts/MixingLtacAndGallina.vos site/posts/AlgebraicDatatypes.glob -site/posts/MixingLtacAndGallina.glob +site/posts/StronglySpecifiedFunctionsProgram.glob site/posts/LtacPatternMatching.glob site/posts/ClightIntroduction.glob -site/posts/StronglySpecifiedFunctionsProgram.glob +site/posts/StronglySpecifiedFunctionsRefine.glob +site/posts/RewritingInCoq.glob site/posts/LtacMetaprogramming.glob -site/posts/.RewritingInCoq.aux -site/posts/.StronglySpecifiedFunctionsRefine.aux +site/posts/MixingLtacAndGallina.glob site/posts/.AlgebraicDatatypes.aux -site/posts/.MixingLtacAndGallina.aux +site/posts/.StronglySpecifiedFunctionsProgram.aux site/posts/.LtacPatternMatching.aux site/posts/.ClightIntroduction.aux -site/posts/.StronglySpecifiedFunctionsProgram.aux +site/posts/.StronglySpecifiedFunctionsRefine.aux +site/posts/.RewritingInCoq.aux site/posts/.LtacMetaprogramming.aux +site/posts/.MixingLtacAndGallina.aux .lia.cache -site/posts/RewritingInCoq.html -site/posts/StronglySpecifiedFunctionsRefine.html site/posts/AlgebraicDatatypes.html -site/posts/MixingLtacAndGallina.html +site/posts/StronglySpecifiedFunctionsProgram.html site/posts/LtacPatternMatching.html site/posts/ClightIntroduction.html -site/posts/StronglySpecifiedFunctionsProgram.html +site/posts/StronglySpecifiedFunctionsRefine.html +site/posts/RewritingInCoq.html site/posts/LtacMetaprogramming.html +site/posts/MixingLtacAndGallina.html lp/ site/files/coqffi-tutorial.tar.gz site/posts/deps.svg -site/opinions/MonadTransformers.html site/opinions/index.html +site/opinions/MonadTransformers.html +site/index.html site/news/ColorlessThemes-0.2.html -site/projects/index.html site/cleopatra/soupault.html -site/cleopatra/org.html +site/cleopatra/theme.html site/cleopatra/literate-programming.html +site/cleopatra/org.html site/cleopatra/coq.html -site/cleopatra/theme.html -site/posts/ExtensibleTypeSafeErrorHandling.html -site/posts/CoqffiEcho.html +site/cleopatra.html +site/projects/index.html +site/posts/Thanks.html +site/posts/Coqffi.html site/posts/DiscoveringCommonLisp.html -site/posts/CoqffiIntro.html -site/posts/CleopatraV1.html site/posts/StronglySpecifiedFunctions.html -site/posts/Thanks.html +site/posts/ExtensibleTypeSafeErrorHandling.html +site/posts/CleopatraV1.html site/posts/Ltac.html -site/posts/Coqffi.html -site/cleopatra.html -site/index.html +site/posts/CoqffiEcho.html +site/posts/CoqffiIntro.html build/ site/style/main.css # end generated files |