appendix
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |
context
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |
fonts
|
Fix listing keywords font
|
2017-08-04 11:04:03 +02:00 |
implem
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |
nix-light
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |
typing
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |
.chktexrc
|
Remove non-relevant warnings from chktexrc
|
2017-07-06 11:17:05 +02:00 |
.gitignore
|
Move generated files to ./out
|
2017-07-13 15:28:25 +02:00 |
conclusion.md
|
First draft of the conclusion
|
2017-08-14 12:35:17 +02:00 |
default.nix
|
Add the needed fonts in the Nix environment
|
2017-08-05 12:02:18 +02:00 |
main.md
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |
main.tex
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |
Makefile
|
lualatex -> xelatex
|
2017-07-18 17:43:28 +02:00 |
mathpartir.sty
|
Add initial boileplate
|
2017-06-22 09:41:38 +02:00 |
myunicode.sty
|
Remove the "syntax" package
|
2017-07-06 11:17:05 +02:00 |
outline.md
|
Various minor changes
|
2017-08-16 18:10:36 +02:00 |
references.bib
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |
release.nix
|
Add release.nix
|
2017-07-18 17:56:44 +02:00 |
synthesis.md
|
Final tweaks
|
2017-08-21 17:12:00 +02:00 |