3 Commits

Include renames

Author	SHA1	Message	Date
JPT	74bbd8cd61	Produce documents with proper filenames with Makefile	2018-09-24 13:59:57 +02:00
JPT	a20f2dc803	Begin adding source to bibtex file	2018-07-17 16:55:03 +02:00
JPT	c7a36ad75b	Initial import of basic structure	2018-05-09 13:05:55 +02:00