diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-13 15:30:16 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-13 15:30:16 +0100 |
commit | 0117075317c6bf5b87867a18f35f9ccd4b5d6c48 (patch) | |
tree | c1ef2c1dd106fcc356ff5dcde35e7c9145774359 /.gitignore | |
parent | Color tweaking (diff) |
Benefit from latest cleopatra to get .gitignore content sorted
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 160 |
1 files changed, 80 insertions, 80 deletions
@@ -2,104 +2,104 @@ # begin generated files .cleopatra -site/style/coq.sass +.emacs +.lia.cache +build.log +build/ coq.mk export-lp.el +katex.mk literate-programming.mk -.emacs -site/style/org.sass +lp/ +node_modules/ org.mk -scripts/export-org.el -scripts/packages.el package-lock.json -node_modules/ -scripts/katex.js -soupault.mk -katex.mk package.json -scripts/history.sh -templates/history.html -site/style/plugins.sass plugins/external-urls.lua -plugins/urls-rewriting.lua plugins/fix-org-urls.lua -soupault.conf -theme.mk -site/style/main.sass -templates/main.html -build.log +plugins/urls-rewriting.lua +scripts/export-org.el +scripts/history.sh +scripts/katex.js +scripts/packages.el +site/cleopatra.html +site/cleopatra/coq.html +site/cleopatra/literate-programming.html +site/cleopatra/org.html +site/cleopatra/soupault.html +site/cleopatra/theme.html +site/files/coqffi-tutorial.tar.gz +site/index.html +site/news/ColorlessThemes-0.2.html +site/opinions/MonadTransformers.html +site/opinions/index.html +site/posts/.AlgebraicDatatypes.aux +site/posts/.ClightIntroduction.aux +site/posts/.LtacMetaprogramming.aux +site/posts/.LtacPatternMatching.aux +site/posts/.MixingLtacAndGallina.aux +site/posts/.RewritingInCoq.aux +site/posts/.StronglySpecifiedFunctionsProgram.aux +site/posts/.StronglySpecifiedFunctionsRefine.aux +site/posts/AlgebraicDatatypes.glob +site/posts/AlgebraicDatatypes.html site/posts/AlgebraicDatatypes.vo -site/posts/StronglySpecifiedFunctionsProgram.vo -site/posts/LtacPatternMatching.vo -site/posts/ClightIntroduction.vo -site/posts/StronglySpecifiedFunctionsRefine.vo -site/posts/RewritingInCoq.vo -site/posts/LtacMetaprogramming.vo -site/posts/MixingLtacAndGallina.vo site/posts/AlgebraicDatatypes.vok -site/posts/StronglySpecifiedFunctionsProgram.vok -site/posts/LtacPatternMatching.vok -site/posts/ClightIntroduction.vok -site/posts/StronglySpecifiedFunctionsRefine.vok -site/posts/RewritingInCoq.vok -site/posts/LtacMetaprogramming.vok -site/posts/MixingLtacAndGallina.vok site/posts/AlgebraicDatatypes.vos -site/posts/StronglySpecifiedFunctionsProgram.vos -site/posts/LtacPatternMatching.vos +site/posts/CleopatraV1.html +site/posts/ClightIntroduction.glob +site/posts/ClightIntroduction.html +site/posts/ClightIntroduction.vo +site/posts/ClightIntroduction.vok site/posts/ClightIntroduction.vos -site/posts/StronglySpecifiedFunctionsRefine.vos -site/posts/RewritingInCoq.vos +site/posts/Coqffi.html +site/posts/CoqffiEcho.html +site/posts/CoqffiIntro.html +site/posts/DiscoveringCommonLisp.html +site/posts/ExtensibleTypeSafeErrorHandling.html +site/posts/Ltac.html +site/posts/LtacMetaprogramming.glob +site/posts/LtacMetaprogramming.html +site/posts/LtacMetaprogramming.vo +site/posts/LtacMetaprogramming.vok site/posts/LtacMetaprogramming.vos -site/posts/MixingLtacAndGallina.vos -site/posts/AlgebraicDatatypes.glob -site/posts/StronglySpecifiedFunctionsProgram.glob site/posts/LtacPatternMatching.glob -site/posts/ClightIntroduction.glob -site/posts/StronglySpecifiedFunctionsRefine.glob -site/posts/RewritingInCoq.glob -site/posts/LtacMetaprogramming.glob +site/posts/LtacPatternMatching.html +site/posts/LtacPatternMatching.vo +site/posts/LtacPatternMatching.vok +site/posts/LtacPatternMatching.vos site/posts/MixingLtacAndGallina.glob -site/posts/.AlgebraicDatatypes.aux -site/posts/.StronglySpecifiedFunctionsProgram.aux -site/posts/.LtacPatternMatching.aux -site/posts/.ClightIntroduction.aux -site/posts/.StronglySpecifiedFunctionsRefine.aux -site/posts/.RewritingInCoq.aux -site/posts/.LtacMetaprogramming.aux -site/posts/.MixingLtacAndGallina.aux -.lia.cache -site/posts/AlgebraicDatatypes.html +site/posts/MixingLtacAndGallina.html +site/posts/MixingLtacAndGallina.vo +site/posts/MixingLtacAndGallina.vok +site/posts/MixingLtacAndGallina.vos +site/posts/RewritingInCoq.glob +site/posts/RewritingInCoq.html +site/posts/RewritingInCoq.vo +site/posts/RewritingInCoq.vok +site/posts/RewritingInCoq.vos +site/posts/StronglySpecifiedFunctions.html +site/posts/StronglySpecifiedFunctionsProgram.glob site/posts/StronglySpecifiedFunctionsProgram.html -site/posts/LtacPatternMatching.html -site/posts/ClightIntroduction.html +site/posts/StronglySpecifiedFunctionsProgram.vo +site/posts/StronglySpecifiedFunctionsProgram.vok +site/posts/StronglySpecifiedFunctionsProgram.vos +site/posts/StronglySpecifiedFunctionsRefine.glob 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/StronglySpecifiedFunctionsRefine.vo +site/posts/StronglySpecifiedFunctionsRefine.vok +site/posts/StronglySpecifiedFunctionsRefine.vos +site/posts/Thanks.html site/posts/deps.svg -site/opinions/index.html -site/opinions/MonadTransformers.html -site/index.html -site/news/ColorlessThemes-0.2.html -site/cleopatra/soupault.html -site/cleopatra/theme.html -site/cleopatra/literate-programming.html -site/cleopatra/org.html -site/cleopatra/coq.html -site/cleopatra.html site/projects/index.html -site/posts/Thanks.html -site/posts/Coqffi.html -site/posts/DiscoveringCommonLisp.html -site/posts/StronglySpecifiedFunctions.html -site/posts/ExtensibleTypeSafeErrorHandling.html -site/posts/CleopatraV1.html -site/posts/Ltac.html -site/posts/CoqffiEcho.html -site/posts/CoqffiIntro.html -build/ +site/style/coq.sass site/style/main.css +site/style/main.sass +site/style/org.sass +site/style/plugins.sass +soupault.conf +soupault.mk +templates/history.html +templates/main.html +theme.mk # end generated files |