5 Commits

Author	SHA1	Message	Date
Michael Kohlhase	a50b4cf26a	tweaks	2020-01-05 10:48:15 +01:00
Michael Kohlhase	3e7642f977	more on the public option	2018-03-22 10:25:37 +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