updates
authorMart Lubbers <mart@martlubbers.net>
Fri, 18 Nov 2022 14:42:26 +0000 (15:42 +0100)
committerMart Lubbers <mart@martlubbers.net>
Fri, 18 Nov 2022 14:42:44 +0000 (15:42 +0100)
commit2925b1f5ecee47e6d0893e5640323ff694c4cd28
tree2e69e2e460098eac240ca959b6653df70fc67944
parent97c58bfa009fc0e36515a2ebdb58100543025f64
updates
back/research_data_management.tex
dsl/class_deep_embedding.tex
dsl/first-class_datatypes.tex
front/titlepage.tex
glossaries.tex
intro/intro.tex
preamble.tex
subfileprefix.tex
top/green.tex
top/top.tex
tvt/tvt.tex