more updates
authorMart Lubbers <mart@martlubbers.net>
Thu, 13 Oct 2022 14:25:40 +0000 (16:25 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 13 Oct 2022 14:25:40 +0000 (16:25 +0200)
commit658c18356eecd7b43b27b5ee450db4d12a985834
tree17f4d4bbd5e1b49f740b02802f52b3178752e87a
parent7160e9f70a126ed1bc41789ade0d91e41cc2db38
more updates
14 files changed:
appx/mtask_aux.tex
concl/conclusion.tex
dsl/dsl_techniques.tex
dsl/first-class_datatypes.tex
glossaries.tex
intro/introduction.tex
other.bib
preamble.tex
self.bib
subfilepreamble.tex [new file with mode: 0644]
thesis.tex
top/mtask.tex
tvt/tvt.tex
work_on_chapter.sh [new file with mode: 0755]