comments ms
authorMart Lubbers <mart@martlubbers.net>
Sun, 4 Jun 2023 18:25:53 +0000 (20:25 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sun, 4 Jun 2023 18:25:53 +0000 (20:25 +0200)
commit5c7ffbabc8f4fe9d21b4ab0095155ee87e32ed6e
treefea06277053bdc7d004f18fa1fa1f61c753b304e
parent5a89c717ca17b6abdc01fbf0720eb87e092b1b5a
comments ms
14 files changed:
bib/other.bib
dsl/class.tex
dsl/first.tex
intro/intro.tex
preamble/bibliography.tex
thesis.tex
todo.txt
top/4iot.tex
top/finale.tex
top/green.tex
top/imp.tex
top/int.tex
top/lang.tex
tvt/tvt.tex