https://git.martlubbers.net - phd-thesis.git/search

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

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom