repositories / phd-thesis.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2925b1f) | patch
restructure
authorMart Lubbers <mart@martlubbers.net>
Mon, 21 Nov 2022 16:13:54 +0000 (17:13 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 21 Nov 2022 16:13:54 +0000 (17:13 +0100)
commit5aa57e0cb31d64685ad4c0624c1047a4b7e77399
treedb059448367e1eec75d5f0e6aa5e8f7253c25b5dtree | snapshot
parent2925b1f5ecee47e6d0893e5640323ff694c4cd28commit | diff
restructure
17 files changed:
dsl/class.tex [moved from dsl/class_deep_embedding.tex with 100% similarity] blob | history
dsl/first.tex [moved from dsl/first-class_datatypes.tex with 100% similarity] blob | history
glossaries.tex diff | blob | history
intro/img/person0g.jpg [new file with mode: 0644] blob
intro/img/person1g.jpg [new file with mode: 0644] blob
intro/img/person2g.jpg [new file with mode: 0644] blob
intro/intro.tex diff | blob | history
lstlangarduino.sty diff | blob | history
other.bib diff | blob | history
self.bib diff | blob | history
thesis.tex diff | blob | history
tiot.bib diff | blob | history
top/4iot.tex [new file with mode: 0644] blob
top/green.tex diff | blob | history
top/lang.tex [new file with mode: 0644] blob
top/top.tex diff | blob | history
tvt/tvt.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.