diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 121 |
1 files changed, 7 insertions, 114 deletions
@@ -1,116 +1,9 @@ -*~ - -# begin generated files -.cleopatra -.emacs -.lia.cache -_opam -build.log -commands.mk -coq.mk -dependencies.mk -export-lp.el -literate-programming.mk -lp/ -node_modules -org.mk -out +out/ +_build/ +_opam/ +node_modules/ package-lock.json -package.json -plugins/clean-up.lua -plugins/css.lua -plugins/external-urls.lua -plugins/series.lua -plugins/urls-rewriting.lua -rss.json -scripts/css.sh -scripts/export-org.el -scripts/history.sh -scripts/packages.el -scripts/render-equations.js -site/cleopatra.html -site/cleopatra/commands.html -site/cleopatra/coq.html -site/cleopatra/dependencies.html -site/cleopatra/literate-programming.html -site/cleopatra/org.html -site/cleopatra/soupault.html -site/cleopatra/theme.html -site/coq.html -site/files/coqffi-tutorial.tar.gz -site/haskell.html -site/index.html -site/meta.html -site/miscellaneous.html -site/news/ColorlessThemes-0.2.html -site/opinions/MonadTransformers.html -site/opinions/StackedGit.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/AlgebraicDatatypes.vok -site/posts/AlgebraicDatatypes.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/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/LtacPatternMatching.glob -site/posts/LtacPatternMatching.html -site/posts/LtacPatternMatching.vo -site/posts/LtacPatternMatching.vok -site/posts/LtacPatternMatching.vos -site/posts/MixingLtacAndGallina.glob -site/posts/MixingLtacAndGallina.html -site/posts/MixingLtacAndGallina.vo -site/posts/MixingLtacAndGallina.vok -site/posts/MixingLtacAndGallina.vos -site/posts/RankNTypesInOCaml.html -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/StronglySpecifiedFunctionsProgram.vo -site/posts/StronglySpecifiedFunctionsProgram.vok -site/posts/StronglySpecifiedFunctionsProgram.vos -site/posts/StronglySpecifiedFunctionsRefine.glob -site/posts/StronglySpecifiedFunctionsRefine.html -site/posts/StronglySpecifiedFunctionsRefine.vo -site/posts/StronglySpecifiedFunctionsRefine.vok -site/posts/StronglySpecifiedFunctionsRefine.vos -site/posts/Thanks.html -site/posts/deps.svg -site/projects/index.html -soupault.conf -soupault.mk -style.css +.soupault-cache/ style.min.css -templates/history.html -templates/main.html -theme.mk -# end generated files +site/img/*.png +site/styles/highlight.css |