4 Commits

Author	SHA1	Message	Date
Michael Kohlhase	78a2208783	We do not need .//: in TEXINPUTS and it sometimes causes problems by picking up *.deliverables from the examples. So it is better left out.	2020-03-04 07:35:48 +01:00
Michael Kohlhase	cabe3abadf	one more occurrence of bibtex	2019-12-22 06:40:12 +01:00
Michael Kohlhase	2228d9cc56	fixing paths and re-generating examples	2019-01-22 09:34:52 +01:00
Michael Kohlhase	adeb856739	share	2017-12-04 13:31:47 +01:00