many smaller updates
authorMart Lubbers <mart@martlubbers.net>
Thu, 3 Nov 2022 14:56:45 +0000 (15:56 +0100)
committerMart Lubbers <mart@martlubbers.net>
Thu, 3 Nov 2022 14:56:45 +0000 (15:56 +0100)
commitb460fb90ed81b62d4b1c219271e29ece38c1ffab
treed2baa6006d5b3bdf85e09a76779cec3803eb123f
parentb20c3c8a47ab555186a270a120f23bed6ca79b38
many smaller updates
15 files changed:
.chktexrc
back/research_data_management.tex
dsl/.chktexrc
dsl/class_deep_embedding.tex
dsl/dsl_techniques.tex
dsl/first-class_datatypes.tex
front/motto.tex
front/titlepage.tex
intro/.chktexrc
intro/intro.tex
preamble.tex
self.bib
top/top.tex
tvt/.chktexrc
tvt/tvt.tex