blob: 8b54ec9b8e12d6373babd36fbc959b8d13ae0c65 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
# begin generated files
build.log
site/style/main.css
site/style/main.sass
build/
*.vo
*.vok
*.vos
.*.aux
*.glob
.lia.cache
site/posts/StronglySpecifiedFunctionsProgram.html
site/posts/MiniHTTPServer.html
site/posts/StronglySpecifiedFunctions.html
site/posts/RewritingInCoq.html
site/posts/Ltac101.html
site/news/ColorlessThemes-0.2.html
site/cleopatra/Contents.html
site/cleopatra/index.html
site/cleopatra/Bootstrap.html
site/cleopatra/Theme.html
site/cleopatra/Soupault.html
site/cleopatra/Contents/Org.html
site/cleopatra/Contents/Coq.html
site/posts/Thanks.html
site/posts/index.html
site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
*.html~
theme.mk
templates/main.html
site/style/main.sass
package-lock.json
node_modules/
soupault.mk
soupault.conf
plugins/urls-rewriting.lua
plugins/external-urls.lua
site/style/plugins.sass
scripts/history.sh
templates/history.html
package.json
scripts/katex.js
coq.mk
site/style/coq.sass
.emacs
emacs.d/
org.mk
scripts/packages.el
scripts/export-org.el
site/style/org.sass
bootstrap.mk
scripts/update-gitignore.sh
# begin generated files
|