phd-thesis.git
7 months agoerrata master
Mart Lubbers [Mon, 25 Sep 2023 14:07:15 +0000 (16:07 +0200)]
errata

errata

7 months agolaytalk
Mart Lubbers [Mon, 2 Oct 2023 11:56:58 +0000 (13:56 +0200)]
laytalk

7 months agoextra presentation
Mart Lubbers [Tue, 26 Sep 2023 10:17:10 +0000 (12:17 +0200)]
extra presentation

7 months agoadd presentation notes
Mart Lubbers [Tue, 26 Sep 2023 06:01:21 +0000 (08:01 +0200)]
add presentation notes

7 months agoinitial version of lay talk
Mart Lubbers [Mon, 25 Sep 2023 13:40:26 +0000 (15:40 +0200)]
initial version of lay talk

7 months agostart with lay presentation
Mart Lubbers [Thu, 21 Sep 2023 07:36:43 +0000 (09:36 +0200)]
start with lay presentation

8 months agoadd cover and bookmark
Mart Lubbers [Wed, 16 Aug 2023 12:02:17 +0000 (14:02 +0200)]
add cover and bookmark

8 months agopub
Mart Lubbers [Wed, 16 Aug 2023 07:04:52 +0000 (09:04 +0200)]
pub

11 months agoprocess todos
Mart Lubbers [Wed, 7 Jun 2023 13:45:49 +0000 (15:45 +0200)]
process todos

11 months agocomments ms
Mart Lubbers [Sun, 4 Jun 2023 18:25:53 +0000 (20:25 +0200)]
comments ms

11 months agosplit up titlepage in colophon and titlepage
Mart Lubbers [Tue, 23 May 2023 14:02:28 +0000 (16:02 +0200)]
split up titlepage in colophon and titlepage

11 months agoprocess comments
Mart Lubbers [Thu, 11 May 2023 13:06:45 +0000 (15:06 +0200)]
process comments

13 months agomanuscript
Mart Lubbers [Thu, 9 Mar 2023 10:04:32 +0000 (11:04 +0100)]
manuscript

13 months agokill all orphans and widows
Mart Lubbers [Wed, 8 Mar 2023 19:45:45 +0000 (20:45 +0100)]
kill all orphans and widows

13 months agomany updates, fix everything up to 6.5
Mart Lubbers [Wed, 8 Mar 2023 12:36:21 +0000 (13:36 +0100)]
many updates, fix everything up to 6.5

14 months agofix brackets, check floats and widows in chp 1-3
Mart Lubbers [Tue, 7 Mar 2023 19:39:46 +0000 (20:39 +0100)]
fix brackets, check floats and widows in chp 1-3

14 months agoprocess more todos
Mart Lubbers [Tue, 7 Mar 2023 15:47:03 +0000 (16:47 +0100)]
process more todos

14 months agoprocess many comments
Mart Lubbers [Tue, 7 Mar 2023 10:56:02 +0000 (11:56 +0100)]
process many comments

14 months agosummary
Mart Lubbers [Mon, 6 Mar 2023 19:21:16 +0000 (20:21 +0100)]
summary

14 months agoprocess all comments
Mart Lubbers [Mon, 6 Mar 2023 18:27:10 +0000 (19:27 +0100)]
process all comments

14 months agomigrate to biblatex
Mart Lubbers [Mon, 6 Mar 2023 15:08:30 +0000 (16:08 +0100)]
migrate to biblatex

14 months agomore comments, next up: migrate to biblatex
Mart Lubbers [Mon, 6 Mar 2023 13:22:53 +0000 (14:22 +0100)]
more comments, next up: migrate to biblatex

14 months agoprocess the rest of Pieter's comments
Mart Lubbers [Thu, 2 Mar 2023 08:18:38 +0000 (09:18 +0100)]
process the rest of Pieter's comments

14 months agoPieter's intro comments
Mart Lubbers [Wed, 1 Mar 2023 19:13:24 +0000 (20:13 +0100)]
Pieter's intro comments

14 months agoprocess rinus' comments
Mart Lubbers [Wed, 1 Mar 2023 18:49:18 +0000 (19:49 +0100)]
process rinus' comments

14 months agobib fix
Mart Lubbers [Wed, 22 Feb 2023 13:14:41 +0000 (14:14 +0100)]
bib fix

14 months agobib
Mart Lubbers [Wed, 22 Feb 2023 13:07:43 +0000 (14:07 +0100)]
bib

14 months agomyriad of typos
Mart Lubbers [Wed, 22 Feb 2023 09:59:35 +0000 (10:59 +0100)]
myriad of typos

14 months agoupdates
Mart Lubbers [Tue, 21 Feb 2023 15:10:44 +0000 (16:10 +0100)]
updates

14 months agosplit up more and updatE
Mart Lubbers [Mon, 20 Feb 2023 14:34:54 +0000 (15:34 +0100)]
split up more and updatE

14 months agoupdates
Mart Lubbers [Sat, 18 Feb 2023 18:12:22 +0000 (19:12 +0100)]
updates

14 months agomany updates
Mart Lubbers [Fri, 17 Feb 2023 15:57:59 +0000 (16:57 +0100)]
many updates

14 months agoupdates
Mart Lubbers [Thu, 16 Feb 2023 17:57:49 +0000 (18:57 +0100)]
updates

14 months agominor patch
Mart Lubbers [Thu, 16 Feb 2023 08:22:22 +0000 (09:22 +0100)]
minor patch

14 months agoupdates
Mart Lubbers [Wed, 15 Feb 2023 18:57:21 +0000 (19:57 +0100)]
updates

14 months agomore structure
Mart Lubbers [Tue, 14 Feb 2023 13:38:15 +0000 (14:38 +0100)]
more structure

14 months agofix minor errors, split up preamble
Mart Lubbers [Mon, 13 Feb 2023 19:24:15 +0000 (20:24 +0100)]
fix minor errors, split up preamble

14 months agoupdates
Mart Lubbers [Thu, 9 Feb 2023 10:02:18 +0000 (11:02 +0100)]
updates

14 months ago6 and finale
Mart Lubbers [Wed, 8 Feb 2023 11:15:14 +0000 (12:15 +0100)]
6 and finale

14 months agoconclusion
Mart Lubbers [Tue, 7 Feb 2023 16:06:11 +0000 (17:06 +0100)]
conclusion

14 months agogreen
Mart Lubbers [Mon, 6 Feb 2023 19:09:22 +0000 (20:09 +0100)]
green

15 months agoupdates
Mart Lubbers [Sat, 4 Feb 2023 17:08:35 +0000 (18:08 +0100)]
updates

15 months agoinitial dutch summary
Mart Lubbers [Fri, 3 Feb 2023 19:24:25 +0000 (20:24 +0100)]
initial dutch summary

15 months agoupadtes
Mart Lubbers [Fri, 3 Feb 2023 13:57:04 +0000 (14:57 +0100)]
upadtes

15 months ago.
Mart Lubbers [Thu, 2 Feb 2023 19:21:48 +0000 (20:21 +0100)]
.

15 months agoproofread chp 4
Mart Lubbers [Thu, 2 Feb 2023 19:05:48 +0000 (20:05 +0100)]
proofread chp 4

15 months agoupdates
Mart Lubbers [Thu, 2 Feb 2023 14:52:50 +0000 (15:52 +0100)]
updates

15 months agomany small changes
Mart Lubbers [Wed, 1 Feb 2023 19:21:03 +0000 (20:21 +0100)]
many small changes

15 months agocomments comemnts comments
Mart Lubbers [Wed, 1 Feb 2023 14:51:07 +0000 (15:51 +0100)]
comments comemnts comments

15 months agoupdates from Peter
Mart Lubbers [Wed, 1 Feb 2023 13:12:21 +0000 (14:12 +0100)]
updates from Peter

15 months agomany many updates
Mart Lubbers [Tue, 31 Jan 2023 19:22:30 +0000 (20:22 +0100)]
many many updates

15 months agoupiates
Mart Lubbers [Mon, 23 Jan 2023 16:14:18 +0000 (17:14 +0100)]
upiates

15 months ago.
Mart Lubbers [Fri, 20 Jan 2023 14:09:57 +0000 (15:09 +0100)]
.

15 months ago.
Mart Lubbers [Thu, 19 Jan 2023 19:20:55 +0000 (20:20 +0100)]
.

15 months agoup
Mart Lubbers [Thu, 19 Jan 2023 19:14:54 +0000 (20:14 +0100)]
up

15 months ago.
Mart Lubbers [Wed, 18 Jan 2023 15:03:06 +0000 (16:03 +0100)]
.

15 months agofinalise finale
Mart Lubbers [Wed, 18 Jan 2023 10:50:16 +0000 (11:50 +0100)]
finalise finale

15 months ago.
Mart Lubbers [Tue, 17 Jan 2023 15:25:26 +0000 (16:25 +0100)]
.

15 months agoupdates
Mart Lubbers [Mon, 16 Jan 2023 15:41:38 +0000 (16:41 +0100)]
updates

15 months ago.
Mart Lubbers [Fri, 13 Jan 2023 15:18:19 +0000 (16:18 +0100)]
.

15 months agozusammenfassung
Mart Lubbers [Wed, 11 Jan 2023 07:22:50 +0000 (08:22 +0100)]
zusammenfassung

15 months ago..
Mart Lubbers [Tue, 10 Jan 2023 15:29:23 +0000 (16:29 +0100)]
..

15 months ago.
Mart Lubbers [Mon, 9 Jan 2023 13:45:10 +0000 (14:45 +0100)]
.

16 months agoproc 0-3
Mart Lubbers [Thu, 15 Dec 2022 14:12:58 +0000 (15:12 +0100)]
proc 0-3

16 months agoupdates
Mart Lubbers [Wed, 14 Dec 2022 09:04:10 +0000 (10:04 +0100)]
updates

16 months agosmall updates
Mart Lubbers [Mon, 12 Dec 2022 16:14:37 +0000 (17:14 +0100)]
small updates

16 months agoupdates
Mart Lubbers [Sun, 11 Dec 2022 08:48:33 +0000 (09:48 +0100)]
updates

16 months agoprocess pieter's comments
Mart Lubbers [Fri, 9 Dec 2022 19:04:50 +0000 (20:04 +0100)]
process pieter's comments

16 months agomany smalle updates
Mart Lubbers [Fri, 9 Dec 2022 13:56:07 +0000 (14:56 +0100)]
many smalle updates

16 months agomore updates
Mart Lubbers [Wed, 7 Dec 2022 15:09:29 +0000 (16:09 +0100)]
more updates

17 months agoupdates
Mart Lubbers [Fri, 2 Dec 2022 14:19:12 +0000 (15:19 +0100)]
updates

17 months agoupdates
Mart Lubbers [Thu, 1 Dec 2022 14:59:42 +0000 (15:59 +0100)]
updates

17 months agogeorge comments
Mart Lubbers [Thu, 1 Dec 2022 10:26:26 +0000 (11:26 +0100)]
george comments

17 months agomore more more
Mart Lubbers [Tue, 29 Nov 2022 14:44:46 +0000 (15:44 +0100)]
more more more

17 months agoupdates
Mart Lubbers [Fri, 25 Nov 2022 14:22:52 +0000 (15:22 +0100)]
updates

17 months agomany updates
Mart Lubbers [Thu, 24 Nov 2022 11:50:51 +0000 (12:50 +0100)]
many updates

17 months ago.
Mart Lubbers [Tue, 22 Nov 2022 15:03:43 +0000 (16:03 +0100)]
.

17 months agoupdates
Mart Lubbers [Mon, 21 Nov 2022 18:31:35 +0000 (19:31 +0100)]
updates

17 months agorestructure
Mart Lubbers [Mon, 21 Nov 2022 16:13:54 +0000 (17:13 +0100)]
restructure

17 months agoupdates
Mart Lubbers [Fri, 18 Nov 2022 14:42:26 +0000 (15:42 +0100)]
updates

17 months agomore upydates
Mart Lubbers [Wed, 16 Nov 2022 15:44:06 +0000 (16:44 +0100)]
more upydates

17 months agoupdates
Mart Lubbers [Tue, 15 Nov 2022 17:58:23 +0000 (18:58 +0100)]
updates

17 months agoupdatesssss
Mart Lubbers [Mon, 14 Nov 2022 16:06:37 +0000 (17:06 +0100)]
updatesssss

17 months agomany updates
Mart Lubbers [Mon, 14 Nov 2022 11:33:49 +0000 (12:33 +0100)]
many updates

17 months ago.
Mart Lubbers [Thu, 10 Nov 2022 18:57:22 +0000 (19:57 +0100)]
.

17 months agomore updates
Mart Lubbers [Thu, 10 Nov 2022 13:21:40 +0000 (14:21 +0100)]
more updates

17 months agoremove dsl_techniques
Mart Lubbers [Thu, 10 Nov 2022 08:53:59 +0000 (09:53 +0100)]
remove dsl_techniques

17 months agoupdates
Mart Lubbers [Thu, 10 Nov 2022 08:53:19 +0000 (09:53 +0100)]
updates

18 months agoupdates
Mart Lubbers [Fri, 4 Nov 2022 15:31:10 +0000 (16:31 +0100)]
updates

18 months agoupdates
Mart Lubbers [Fri, 4 Nov 2022 08:28:27 +0000 (09:28 +0100)]
updates

18 months agomany smaller updates
Mart Lubbers [Thu, 3 Nov 2022 14:56:45 +0000 (15:56 +0100)]
many smaller updates

18 months agoupdate'
Mart Lubbers [Tue, 18 Oct 2022 09:03:06 +0000 (11:03 +0200)]
update'

18 months agorestructure
Mart Lubbers [Tue, 18 Oct 2022 07:35:56 +0000 (09:35 +0200)]
restructure

18 months ago.
Mart Lubbers [Fri, 14 Oct 2022 11:42:36 +0000 (13:42 +0200)]
.

18 months agomore updates
Mart Lubbers [Thu, 13 Oct 2022 14:25:40 +0000 (16:25 +0200)]
more updates

18 months agomany updates
Mart Lubbers [Wed, 12 Oct 2022 14:41:04 +0000 (16:41 +0200)]
many updates

18 months agoupdates
Mart Lubbers [Tue, 11 Oct 2022 13:56:26 +0000 (15:56 +0200)]
updates

18 months agodirectory structure
Mart Lubbers [Fri, 7 Oct 2022 13:12:13 +0000 (15:12 +0200)]
directory structure

19 months agochange citations to citep
Mart Lubbers [Sat, 1 Oct 2022 14:07:27 +0000 (16:07 +0200)]
change citations to citep

19 months agoadd missing images
Mart Lubbers [Sat, 1 Oct 2022 14:02:57 +0000 (16:02 +0200)]
add missing images