Repo for versioning + backup of my thesis
latest pdf: https://github.com/psimovec/thesis/blob/master/slim_automata_thesis.pdf
latexdiff output since last check https://github.com/psimovec/thesis/blob/master/dif/diff.pdf
main source https://link.springer.com/content/pdf/10.1007/978-3-030-45190-5_17.pdf
implementation mklokocka/seminator#31