4 commits

Author	SHA1	Message	Date
manuelthieme	d98c536c17	more typographic stuff. not finished yet. Glossar to come	2018-09-07 18:39:07 +02:00
cirdeirf	f06ae6e955	Replace remaining old quotation marks	2018-09-07 17:20:54 +02:00
Felix Wittwer	194db1314a	Add dotted placeholders to TOC	2018-06-28 13:43:43 +02:00
Sebastian J. Mielke	a0ca94d482	More awesomer express checklist. Also fixed #98.	2016-09-03 15:59:49 +02:00