3 Commits

Author	SHA1	Message	Date
Peter Harman	2b63150afe	Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal ... # Conflicts: # Proposal/WorkPackages/Cases.tex	2019-01-22 06:56:48 +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