Introduce subfiles
Since compiling times became unbearable (75 sec), I split up the file into standalone subfiles which I only compile once (without biber). They compile in around 10 seconds, which is still a lot, but it is bearable.
Showing
- preamble.tex 5 additions, 3 deletionspreamble.tex
- thesis/1-1-1-ownership.tex 183 additions, 0 deletionsthesis/1-1-1-ownership.tex
- thesis/1-1-2-borrowing.tex 147 additions, 0 deletionsthesis/1-1-2-borrowing.tex
- thesis/1-1-3-reference-conversion.tex 45 additions, 0 deletionsthesis/1-1-3-reference-conversion.tex
- thesis/1-1-4-non-lexical-lifetimes.tex 75 additions, 0 deletionsthesis/1-1-4-non-lexical-lifetimes.tex
- thesis/1-1-5-reborrows.tex 80 additions, 0 deletionsthesis/1-1-5-reborrows.tex
- thesis/1-1-6-loans-and-regions.tex 126 additions, 0 deletionsthesis/1-1-6-loans-and-regions.tex
- thesis/1-2-1-contract-programming.tex 17 additions, 0 deletionsthesis/1-2-1-contract-programming.tex
- thesis/1-2-2-refinement-types.tex 108 additions, 0 deletionsthesis/1-2-2-refinement-types.tex
- thesis/1-introduction.tex 15 additions, 716 deletionsthesis/1-introduction.tex
- thesis/thesis.pdf 2 additions, 2 deletionsthesis/thesis.pdf
- thesis/thesis.tex 1 addition, 1 deletionthesis/thesis.tex
thesis/1-1-1-ownership.tex
0 → 100644
thesis/1-1-2-borrowing.tex
0 → 100644
thesis/1-1-3-reference-conversion.tex
0 → 100644
thesis/1-1-4-non-lexical-lifetimes.tex
0 → 100644
thesis/1-1-5-reborrows.tex
0 → 100644
thesis/1-1-6-loans-and-regions.tex
0 → 100644
thesis/1-2-1-contract-programming.tex
0 → 100644
thesis/1-2-2-refinement-types.tex
0 → 100644
No preview for this file type
Please register or sign in to comment