repositories
/
phd-thesis.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
phd-thesis.git
2023-05-23
Mart Lubbers
split up titlepage in colophon and titlepage
commit
|
commitdiff
|
tree
|
snapshot
2023-05-12
Mart Lubbers
process comments
commit
|
commitdiff
|
tree
|
snapshot
2023-03-14
Mart Lubbers
manuscript
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Mart Lubbers
kill all orphans and widows
commit
|
commitdiff
|
tree
|
snapshot
2023-03-08
Mart Lubbers
many updates, fix everything up to 6.5
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Mart Lubbers
fix brackets, check floats and widows in chp 1-3
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Mart Lubbers
process more todos
commit
|
commitdiff
|
tree
|
snapshot
2023-03-07
Mart Lubbers
process many comments
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Mart Lubbers
summary
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Mart Lubbers
process all comments
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Mart Lubbers
migrate to biblatex
commit
|
commitdiff
|
tree
|
snapshot
2023-03-06
Mart Lubbers
more comments, next up: migrate to biblatex
commit
|
commitdiff
|
tree
|
snapshot
2023-03-02
Mart Lubbers
process the rest of Pieter's comments
commit
|
commitdiff
|
tree
|
snapshot
2023-03-01
Mart Lubbers
Pieter's intro comments
commit
|
commitdiff
|
tree
|
snapshot
2023-03-01
Mart Lubbers
process rinus' comments
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Mart Lubbers
bib fix
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Mart Lubbers
bib
commit
|
commitdiff
|
tree
|
snapshot
2023-02-22
Mart Lubbers
myriad of typos
commit
|
commitdiff
|
tree
|
snapshot
2023-02-21
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2023-02-20
Mart Lubbers
split up more and updatE
commit
|
commitdiff
|
tree
|
snapshot
2023-02-18
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2023-02-17
Mart Lubbers
many updates
commit
|
commitdiff
|
tree
|
snapshot
2023-02-16
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2023-02-16
Mart Lubbers
minor patch
commit
|
commitdiff
|
tree
|
snapshot
2023-02-15
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2023-02-14
Mart Lubbers
more structure
commit
|
commitdiff
|
tree
|
snapshot
2023-02-13
Mart Lubbers
fix minor errors, split up preamble
commit
|
commitdiff
|
tree
|
snapshot
2023-02-09
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2023-02-08
Mart Lubbers
6 and finale
commit
|
commitdiff
|
tree
|
snapshot
2023-02-07
Mart Lubbers
conclusion
commit
|
commitdiff
|
tree
|
snapshot
2023-02-06
Mart Lubbers
green
commit
|
commitdiff
|
tree
|
snapshot
2023-02-04
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2023-02-03
Mart Lubbers
initial dutch summary
commit
|
commitdiff
|
tree
|
snapshot
2023-02-03
Mart Lubbers
upadtes
commit
|
commitdiff
|
tree
|
snapshot
2023-02-02
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2023-02-02
Mart Lubbers
proofread chp 4
commit
|
commitdiff
|
tree
|
snapshot
2023-02-02
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2023-02-01
Mart Lubbers
many small changes
commit
|
commitdiff
|
tree
|
snapshot
2023-02-01
Mart Lubbers
comments comemnts comments
commit
|
commitdiff
|
tree
|
snapshot
2023-02-01
Mart Lubbers
updates from Peter
commit
|
commitdiff
|
tree
|
snapshot
2023-01-31
Mart Lubbers
many many updates
commit
|
commitdiff
|
tree
|
snapshot
2023-01-23
Mart Lubbers
upiates
commit
|
commitdiff
|
tree
|
snapshot
2023-01-20
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2023-01-19
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2023-01-19
Mart Lubbers
up
commit
|
commitdiff
|
tree
|
snapshot
2023-01-18
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2023-01-18
Mart Lubbers
finalise finale
commit
|
commitdiff
|
tree
|
snapshot
2023-01-17
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2023-01-16
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2023-01-13
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2023-01-11
Mart Lubbers
zusammenfassung
commit
|
commitdiff
|
tree
|
snapshot
2023-01-10
Mart Lubbers
..
commit
|
commitdiff
|
tree
|
snapshot
2023-01-09
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2022-12-15
Mart Lubbers
proc 0-3
commit
|
commitdiff
|
tree
|
snapshot
2022-12-14
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-12-12
Mart Lubbers
small updates
commit
|
commitdiff
|
tree
|
snapshot
2022-12-11
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-12-09
Mart Lubbers
process pieter's comments
commit
|
commitdiff
|
tree
|
snapshot
2022-12-09
Mart Lubbers
many smalle updates
commit
|
commitdiff
|
tree
|
snapshot
2022-12-07
Mart Lubbers
more updates
commit
|
commitdiff
|
tree
|
snapshot
2022-12-02
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-12-01
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-12-01
Mart Lubbers
george comments
commit
|
commitdiff
|
tree
|
snapshot
2022-11-29
Mart Lubbers
more more more
commit
|
commitdiff
|
tree
|
snapshot
2022-11-25
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-24
Mart Lubbers
many updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-22
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2022-11-21
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-21
Mart Lubbers
restructure
commit
|
commitdiff
|
tree
|
snapshot
2022-11-18
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-16
Mart Lubbers
more upydates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-15
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-14
Mart Lubbers
updatesssss
commit
|
commitdiff
|
tree
|
snapshot
2022-11-14
Mart Lubbers
many updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-10
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2022-11-10
Mart Lubbers
more updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-10
Mart Lubbers
remove dsl_techniques
commit
|
commitdiff
|
tree
|
snapshot
2022-11-10
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-04
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-04
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-11-03
Mart Lubbers
many smaller updates
commit
|
commitdiff
|
tree
|
snapshot
2022-10-18
Mart Lubbers
update'
commit
|
commitdiff
|
tree
|
snapshot
2022-10-18
Mart Lubbers
restructure
commit
|
commitdiff
|
tree
|
snapshot
2022-10-14
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2022-10-13
Mart Lubbers
more updates
commit
|
commitdiff
|
tree
|
snapshot
2022-10-12
Mart Lubbers
many updates
commit
|
commitdiff
|
tree
|
snapshot
2022-10-11
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-10-07
Mart Lubbers
directory structure
commit
|
commitdiff
|
tree
|
snapshot
2022-10-01
Mart Lubbers
change citations to citep
commit
|
commitdiff
|
tree
|
snapshot
2022-10-01
Mart Lubbers
add missing images
commit
|
commitdiff
|
tree
|
snapshot
2022-09-30
Mart Lubbers
add tiot paper current version
commit
|
commitdiff
|
tree
|
snapshot
2022-09-22
Mart Lubbers
insert first-class datatype
commit
|
commitdiff
|
tree
|
snapshot
2022-09-21
Mart Lubbers
more updates, slight restructure
commit
|
commitdiff
|
tree
|
snapshot
2022-09-15
Mart Lubbers
many updates
commit
|
commitdiff
|
tree
|
snapshot
2022-09-06
Mart Lubbers
many updates
commit
|
commitdiff
|
tree
|
snapshot
2022-05-25
Mart Lubbers
ignore xmpi file as well
commit
|
commitdiff
|
tree
|
snapshot
2022-05-25
Mart Lubbers
add license
commit
|
commitdiff
|
tree
|
snapshot
2022-05-21
Mart Lubbers
updates
commit
|
commitdiff
|
tree
|
snapshot
2022-04-13
Mart Lubbers
better structure with subfiles
commit
|
commitdiff
|
tree
|
snapshot
2022-03-04
Mart Lubbers
stab at some chapters
commit
|
commitdiff
|
tree
|
snapshot
next