# begin generated files
.cleopatra
coq.mk
site/style/coq.sass
.emacs
emacs.d/
scripts/export-org.el
scripts/packages.el
org.mk
site/style/org.sass
package-lock.json
node_modules/
soupault.conf
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
site/style/main.sass
build.log
*.vo
*.vok
*.vos
.*.aux
*.glob
.lia.cache
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/index.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/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
site/posts/CleopatraV1.html
*.html~
build/
site/style/main.css
site/style/main.sass
# end generated files