blob: c17a0e627c66ef8bbaab503af9a60d488de7ce39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
build/
.lia.cache
*.vos
*.vok
*.vo
.*.aux
*.glob
*.html~
# begin generated files
site/posts.html
site/news/ColorlessThemes-0.2.html
site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
site/posts/StronglySpecifiedFunctionsProgram.html
site/posts/MiniHTTPServer.html
site/posts/StronglySpecifiedFunctions.html
site/posts/RewritingInCoq.html
site/posts/Ltac101.html
site/style/main.css
# begin generated files
|