|
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 |
