6 Commits

Author	SHA1	Message	Date
Michael Kohlhase	b1735ffaef	generated examples	2021-03-08 11:51:18 +01:00
Michael Kohlhase	60c0e13bdb	draining	2020-08-19 07:28:18 +02:00
Michael Kohlhase	83be6e6c4c	fixed babel errors	2020-01-05 10:48:15 +01:00
Michael Kohlhase	a50b4cf26a	tweaks	2020-01-05 10:48:15 +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