5 Commits

Author	SHA1	Message	Date
Michael Kohlhase	1fdafea39f	minor cleanup and re-generated	2020-08-19 15:11:21 +02:00
Michael Kohlhase	2228d9cc56	fixing paths and re-generating examples	2019-01-22 09:34:52 +01:00
Michael Kohlhase	ce51805d93	sharing parts of the Makefiles	2017-12-04 13:32:26 +01:00
Michael Kohlhase	7189f56189	debugging Make/TeX files and re-generating	2017-12-04 10:12:17 +01:00
Michael Kohlhase	0ac416aadf	starting reorganization	2017-12-04 10:00:14 +01:00