Der Textteil meiner Bachelorarbeit
- pdflatex main.tex listet alle zitierten quellen
- biber main.tex verarbeitet alle zitierten quellen
- makeglossaries main.tex verarbeitet glossareinträge
- pdflatex + makeindex + bibtex main.tex baut finale pdf inklusive aller quellen
- nix :)
- zeilenumbrüche optimieren
- über beweisassistenten reden
- normalize ist eine projektion