12 Commits

Author	SHA1	Message	Date
Jip J. Dekker	2a17d4066a	Fix last errors spotted by Guido	2021-11-08 19:50:07 +11:00
Jip J. Dekker	6d4481b843	Attempt at remaining feedback	2021-11-05 16:49:10 +11:00
Jip J. Dekker	e4143f811a	Add initial acknowledgement section	2021-08-05 16:48:35 +10:00
Jip J. Dekker	b60e3c426b	Final changes	2021-07-29 22:20:07 +10:00
Jip J. Dekker	ce1740308d	Grammar check	2021-07-28 17:34:48 +10:00
Jip J. Dekker	fb24a5dc25	Update glossary with SICStus	2021-07-28 10:25:05 +10:00
Jip J. Dekker	a0b85fda42	Small grammar check	2021-07-27 18:07:29 +10:00
Jip J. Dekker	47265d441d	A global grammar check	2021-07-26 15:38:10 +10:00
Jip J. Dekker	87c059609a	Enable more grammar rules	2021-07-26 09:35:20 +10:00
Jip J. Dekker	d771d3ec3e	Clear warning on the glossary	2021-07-25 17:22:30 +10:00
Jip J. Dekker	4e91fa20a3	Avoid the use of "no <dummy>"	2021-07-25 14:23:21 +10:00
Jip J. Dekker	4b007951a5	Add configuration for LTeX	2021-07-25 11:23:52 +10:00