phd-thesis.git
15 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

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

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

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

15 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

18 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

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

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

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

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

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

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

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

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

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

20 months agoadd tiot paper current version
Mart Lubbers [Fri, 30 Sep 2022 13:07:03 +0000 (15:07 +0200)]
add tiot paper current version

20 months agoinsert first-class datatype
Mart Lubbers [Thu, 22 Sep 2022 14:41:53 +0000 (16:41 +0200)]
insert first-class datatype

20 months agomore updates, slight restructure
Mart Lubbers [Wed, 21 Sep 2022 13:49:24 +0000 (15:49 +0200)]
more updates, slight restructure

20 months agomany updates
Mart Lubbers [Thu, 15 Sep 2022 13:31:39 +0000 (15:31 +0200)]
many updates

20 months agomany updates
Mart Lubbers [Tue, 6 Sep 2022 12:14:44 +0000 (14:14 +0200)]
many updates

2 years agoignore xmpi file as well
Mart Lubbers [Wed, 25 May 2022 13:07:28 +0000 (15:07 +0200)]
ignore xmpi file as well

2 years agoadd license
Mart Lubbers [Wed, 25 May 2022 13:06:44 +0000 (15:06 +0200)]
add license

2 years agoupdates
Mart Lubbers [Sat, 21 May 2022 09:19:31 +0000 (11:19 +0200)]
updates

2 years agobetter structure with subfiles
Mart Lubbers [Wed, 13 Apr 2022 14:59:46 +0000 (16:59 +0200)]
better structure with subfiles

2 years agostab at some chapters
Mart Lubbers [Fri, 4 Mar 2022 14:21:39 +0000 (15:21 +0100)]
stab at some chapters

2 years agoshow hboxes, personslist in acknowledgements and dataset
Mart Lubbers [Wed, 26 Jan 2022 09:03:32 +0000 (10:03 +0100)]
show hboxes, personslist in acknowledgements and dataset

3 years agomorewrites, backrefs, structure
Mart Lubbers [Mon, 31 May 2021 13:22:28 +0000 (15:22 +0200)]
morewrites, backrefs, structure

3 years agoupdate
Mart Lubbers [Wed, 19 May 2021 07:19:56 +0000 (09:19 +0200)]
update

3 years agostart with outline and fill in some data
Mart Lubbers [Tue, 18 May 2021 14:25:45 +0000 (16:25 +0200)]
start with outline and fill in some data

3 years agouse latexmk,
Mart Lubbers [Wed, 24 Feb 2021 09:11:04 +0000 (10:11 +0100)]
use latexmk,

3 years agoMerge branch 'master' of git.martlubbers.net:thesis-skel
Mart Lubbers [Wed, 24 Feb 2021 08:51:11 +0000 (09:51 +0100)]
Merge branch 'master' of git.martlubbers.net:thesis-skel

3 years agordm, thumbs
Mart Lubbers [Wed, 24 Feb 2021 08:50:29 +0000 (09:50 +0100)]
rdm, thumbs

3 years agordm
Mart Lubbers [Wed, 2 Dec 2020 10:16:21 +0000 (11:16 +0100)]
rdm

3 years agoupdate epigraph
Mart Lubbers [Thu, 2 Jul 2020 14:01:36 +0000 (16:01 +0200)]
update epigraph

3 years agoupdate skeleton to radboud standards thanks to klinik/stutterheims template
Mart Lubbers [Thu, 2 Jul 2020 13:30:28 +0000 (15:30 +0200)]
update skeleton to radboud standards thanks to klinik/stutterheims template

5 years agotitlepage error with hyperref
Mart Lubbers [Wed, 24 Apr 2019 12:46:09 +0000 (14:46 +0200)]
titlepage error with hyperref

6 years agoInitial commit
Mart Lubbers [Thu, 12 Apr 2018 13:52:06 +0000 (15:52 +0200)]
Initial commit