Mart Lubbers [Thu, 21 Sep 2023 07:36:43 +0000 (09:36 +0200)]
start with lay presentation
Mart Lubbers [Wed, 16 Aug 2023 12:02:17 +0000 (14:02 +0200)]
add cover and bookmark
Mart Lubbers [Wed, 16 Aug 2023 07:04:52 +0000 (09:04 +0200)]
pub
Mart Lubbers [Wed, 7 Jun 2023 13:45:49 +0000 (15:45 +0200)]
process todos
Mart Lubbers [Sun, 4 Jun 2023 18:25:53 +0000 (20:25 +0200)]
comments ms
Mart Lubbers [Tue, 23 May 2023 14:02:28 +0000 (16:02 +0200)]
split up titlepage in colophon and titlepage
Mart Lubbers [Thu, 11 May 2023 13:06:45 +0000 (15:06 +0200)]
process comments
Mart Lubbers [Thu, 9 Mar 2023 10:04:32 +0000 (11:04 +0100)]
manuscript
Mart Lubbers [Wed, 8 Mar 2023 19:45:45 +0000 (20:45 +0100)]
kill all orphans and widows
Mart Lubbers [Wed, 8 Mar 2023 12:36:21 +0000 (13:36 +0100)]
many updates, fix everything up to 6.5
Mart Lubbers [Tue, 7 Mar 2023 19:39:46 +0000 (20:39 +0100)]
fix brackets, check floats and widows in chp 1-3
Mart Lubbers [Tue, 7 Mar 2023 15:47:03 +0000 (16:47 +0100)]
process more todos
Mart Lubbers [Tue, 7 Mar 2023 10:56:02 +0000 (11:56 +0100)]
process many comments
Mart Lubbers [Mon, 6 Mar 2023 19:21:16 +0000 (20:21 +0100)]
summary
Mart Lubbers [Mon, 6 Mar 2023 18:27:10 +0000 (19:27 +0100)]
process all comments
Mart Lubbers [Mon, 6 Mar 2023 15:08:30 +0000 (16:08 +0100)]
migrate to biblatex
Mart Lubbers [Mon, 6 Mar 2023 13:22:53 +0000 (14:22 +0100)]
more comments, next up: migrate to biblatex
Mart Lubbers [Thu, 2 Mar 2023 08:18:38 +0000 (09:18 +0100)]
process the rest of Pieter's comments
Mart Lubbers [Wed, 1 Mar 2023 19:13:24 +0000 (20:13 +0100)]
Pieter's intro comments
Mart Lubbers [Wed, 1 Mar 2023 18:49:18 +0000 (19:49 +0100)]
process rinus' comments
Mart Lubbers [Wed, 22 Feb 2023 13:14:41 +0000 (14:14 +0100)]
bib fix
Mart Lubbers [Wed, 22 Feb 2023 13:07:43 +0000 (14:07 +0100)]
bib
Mart Lubbers [Wed, 22 Feb 2023 09:59:35 +0000 (10:59 +0100)]
myriad of typos
Mart Lubbers [Tue, 21 Feb 2023 15:10:44 +0000 (16:10 +0100)]
updates
Mart Lubbers [Mon, 20 Feb 2023 14:34:54 +0000 (15:34 +0100)]
split up more and updatE
Mart Lubbers [Sat, 18 Feb 2023 18:12:22 +0000 (19:12 +0100)]
updates
Mart Lubbers [Fri, 17 Feb 2023 15:57:59 +0000 (16:57 +0100)]
many updates
Mart Lubbers [Thu, 16 Feb 2023 17:57:49 +0000 (18:57 +0100)]
updates
Mart Lubbers [Thu, 16 Feb 2023 08:22:22 +0000 (09:22 +0100)]
minor patch
Mart Lubbers [Wed, 15 Feb 2023 18:57:21 +0000 (19:57 +0100)]
updates
Mart Lubbers [Tue, 14 Feb 2023 13:38:15 +0000 (14:38 +0100)]
more structure
Mart Lubbers [Mon, 13 Feb 2023 19:24:15 +0000 (20:24 +0100)]
fix minor errors, split up preamble
Mart Lubbers [Thu, 9 Feb 2023 10:02:18 +0000 (11:02 +0100)]
updates
Mart Lubbers [Wed, 8 Feb 2023 11:15:14 +0000 (12:15 +0100)]
6 and finale
Mart Lubbers [Tue, 7 Feb 2023 16:06:11 +0000 (17:06 +0100)]
conclusion
Mart Lubbers [Mon, 6 Feb 2023 19:09:22 +0000 (20:09 +0100)]
green
Mart Lubbers [Sat, 4 Feb 2023 17:08:35 +0000 (18:08 +0100)]
updates
Mart Lubbers [Fri, 3 Feb 2023 19:24:25 +0000 (20:24 +0100)]
initial dutch summary
Mart Lubbers [Fri, 3 Feb 2023 13:57:04 +0000 (14:57 +0100)]
upadtes
Mart Lubbers [Thu, 2 Feb 2023 19:21:48 +0000 (20:21 +0100)]
.
Mart Lubbers [Thu, 2 Feb 2023 19:05:48 +0000 (20:05 +0100)]
proofread chp 4
Mart Lubbers [Thu, 2 Feb 2023 14:52:50 +0000 (15:52 +0100)]
updates
Mart Lubbers [Wed, 1 Feb 2023 19:21:03 +0000 (20:21 +0100)]
many small changes
Mart Lubbers [Wed, 1 Feb 2023 14:51:07 +0000 (15:51 +0100)]
comments comemnts comments
Mart Lubbers [Wed, 1 Feb 2023 13:12:21 +0000 (14:12 +0100)]
updates from Peter
Mart Lubbers [Tue, 31 Jan 2023 19:22:30 +0000 (20:22 +0100)]
many many updates
Mart Lubbers [Mon, 23 Jan 2023 16:14:18 +0000 (17:14 +0100)]
upiates
Mart Lubbers [Fri, 20 Jan 2023 14:09:57 +0000 (15:09 +0100)]
.
Mart Lubbers [Thu, 19 Jan 2023 19:20:55 +0000 (20:20 +0100)]
.
Mart Lubbers [Thu, 19 Jan 2023 19:14:54 +0000 (20:14 +0100)]
up
Mart Lubbers [Wed, 18 Jan 2023 15:03:06 +0000 (16:03 +0100)]
.
Mart Lubbers [Wed, 18 Jan 2023 10:50:16 +0000 (11:50 +0100)]
finalise finale
Mart Lubbers [Tue, 17 Jan 2023 15:25:26 +0000 (16:25 +0100)]
.
Mart Lubbers [Mon, 16 Jan 2023 15:41:38 +0000 (16:41 +0100)]
updates
Mart Lubbers [Fri, 13 Jan 2023 15:18:19 +0000 (16:18 +0100)]
.
Mart Lubbers [Wed, 11 Jan 2023 07:22:50 +0000 (08:22 +0100)]
zusammenfassung
Mart Lubbers [Tue, 10 Jan 2023 15:29:23 +0000 (16:29 +0100)]
..
Mart Lubbers [Mon, 9 Jan 2023 13:45:10 +0000 (14:45 +0100)]
.
Mart Lubbers [Thu, 15 Dec 2022 14:12:58 +0000 (15:12 +0100)]
proc 0-3
Mart Lubbers [Wed, 14 Dec 2022 09:04:10 +0000 (10:04 +0100)]
updates
Mart Lubbers [Mon, 12 Dec 2022 16:14:37 +0000 (17:14 +0100)]
small updates
Mart Lubbers [Sun, 11 Dec 2022 08:48:33 +0000 (09:48 +0100)]
updates
Mart Lubbers [Fri, 9 Dec 2022 19:04:50 +0000 (20:04 +0100)]
process pieter's comments
Mart Lubbers [Fri, 9 Dec 2022 13:56:07 +0000 (14:56 +0100)]
many smalle updates
Mart Lubbers [Wed, 7 Dec 2022 15:09:29 +0000 (16:09 +0100)]
more updates
Mart Lubbers [Fri, 2 Dec 2022 14:19:12 +0000 (15:19 +0100)]
updates
Mart Lubbers [Thu, 1 Dec 2022 14:59:42 +0000 (15:59 +0100)]
updates
Mart Lubbers [Thu, 1 Dec 2022 10:26:26 +0000 (11:26 +0100)]
george comments
Mart Lubbers [Tue, 29 Nov 2022 14:44:46 +0000 (15:44 +0100)]
more more more
Mart Lubbers [Fri, 25 Nov 2022 14:22:52 +0000 (15:22 +0100)]
updates
Mart Lubbers [Thu, 24 Nov 2022 11:50:51 +0000 (12:50 +0100)]
many updates
Mart Lubbers [Tue, 22 Nov 2022 15:03:43 +0000 (16:03 +0100)]
.
Mart Lubbers [Mon, 21 Nov 2022 18:31:35 +0000 (19:31 +0100)]
updates
Mart Lubbers [Mon, 21 Nov 2022 16:13:54 +0000 (17:13 +0100)]
restructure
Mart Lubbers [Fri, 18 Nov 2022 14:42:26 +0000 (15:42 +0100)]
updates
Mart Lubbers [Wed, 16 Nov 2022 15:44:06 +0000 (16:44 +0100)]
more upydates
Mart Lubbers [Tue, 15 Nov 2022 17:58:23 +0000 (18:58 +0100)]
updates
Mart Lubbers [Mon, 14 Nov 2022 16:06:37 +0000 (17:06 +0100)]
updatesssss
Mart Lubbers [Mon, 14 Nov 2022 11:33:49 +0000 (12:33 +0100)]
many updates
Mart Lubbers [Thu, 10 Nov 2022 18:57:22 +0000 (19:57 +0100)]
.
Mart Lubbers [Thu, 10 Nov 2022 13:21:40 +0000 (14:21 +0100)]
more updates
Mart Lubbers [Thu, 10 Nov 2022 08:53:59 +0000 (09:53 +0100)]
remove dsl_techniques
Mart Lubbers [Thu, 10 Nov 2022 08:53:19 +0000 (09:53 +0100)]
updates
Mart Lubbers [Fri, 4 Nov 2022 15:31:10 +0000 (16:31 +0100)]
updates
Mart Lubbers [Fri, 4 Nov 2022 08:28:27 +0000 (09:28 +0100)]
updates
Mart Lubbers [Thu, 3 Nov 2022 14:56:45 +0000 (15:56 +0100)]
many smaller updates
Mart Lubbers [Tue, 18 Oct 2022 09:03:06 +0000 (11:03 +0200)]
update'
Mart Lubbers [Tue, 18 Oct 2022 07:35:56 +0000 (09:35 +0200)]
restructure
Mart Lubbers [Fri, 14 Oct 2022 11:42:36 +0000 (13:42 +0200)]
.
Mart Lubbers [Thu, 13 Oct 2022 14:25:40 +0000 (16:25 +0200)]
more updates
Mart Lubbers [Wed, 12 Oct 2022 14:41:04 +0000 (16:41 +0200)]
many updates
Mart Lubbers [Tue, 11 Oct 2022 13:56:26 +0000 (15:56 +0200)]
updates
Mart Lubbers [Fri, 7 Oct 2022 13:12:13 +0000 (15:12 +0200)]
directory structure
Mart Lubbers [Sat, 1 Oct 2022 14:07:27 +0000 (16:07 +0200)]
change citations to citep
Mart Lubbers [Sat, 1 Oct 2022 14:02:57 +0000 (16:02 +0200)]
add missing images
Mart Lubbers [Fri, 30 Sep 2022 13:07:03 +0000 (15:07 +0200)]
add tiot paper current version
Mart Lubbers [Thu, 22 Sep 2022 14:41:53 +0000 (16:41 +0200)]
insert first-class datatype
Mart Lubbers [Wed, 21 Sep 2022 13:49:24 +0000 (15:49 +0200)]
more updates, slight restructure
Mart Lubbers [Thu, 15 Sep 2022 13:31:39 +0000 (15:31 +0200)]
many updates
Mart Lubbers [Tue, 6 Sep 2022 12:14:44 +0000 (14:14 +0200)]
many updates
repositories / phd-thesis.git / log