diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-08-27 15:05:29 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-08-27 15:05:29 +0200 |
| commit | b065628fb1ffa6edf8f35a690931c2d56d26ab3e (patch) | |
| tree | f5c75029bc4b61de228e809889dc58f5907e5fb6 /.gitignore | |
| parent | Make the two articles about Ltac refer to each other (diff) | |
Simplify the theme
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 47 |
1 files changed, 23 insertions, 24 deletions
@@ -1,29 +1,29 @@ # begin generated files .cleopatra -coq.mk site/style/coq.sass +coq.mk .emacs +site/style/org.sass +org.mk scripts/export-org.el scripts/packages.el -org.mk -site/style/org.sass package-lock.json node_modules/ -soupault.conf +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 -site/style/plugins.sass -templates/history.html -scripts/history.sh -package.json -soupault.mk -katex.mk -scripts/katex.js -theme.mk -templates/main.html +soupault.conf site/style/main.sass +templates/main.html +theme.mk build.log *.vo *.vok @@ -31,26 +31,25 @@ build.log .*.aux *.glob .lia.cache -site/posts/AlgebraicDatatypes.html -site/posts/StronglySpecifiedFunctionsProgram.html -site/posts/MiniHTTPServer.html -site/posts/ClightIntroduction.html -site/posts/StronglySpecifiedFunctions.html site/posts/RewritingInCoq.html -site/posts/Ltac101.html +site/posts/StronglySpecifiedFunctions.html +site/posts/AlgebraicDatatypes.html site/posts/MixingLtacAndGallina.html -site/index.html +site/posts/Ltac101.html +site/posts/ClightIntroduction.html +site/posts/StronglySpecifiedFunctionsProgram.html site/news/ColorlessThemes-0.2.html site/cleopatra/soupault.html -site/cleopatra/theme.html site/cleopatra/org.html site/cleopatra/coq.html -site/cleopatra.html -site/posts/Thanks.html -site/posts/DiscoveringCommonLisp.html +site/cleopatra/theme.html site/posts/ExtensibleTypeSafeErrorHandling.html +site/posts/DiscoveringCommonLisp.html site/posts/MonadTransformers.html site/posts/CleopatraV1.html +site/posts/Thanks.html +site/cleopatra.html +site/index.html build/ site/style/main.css # end generated files |