Merge branch 'master' of gl.kwarc.info:mathhub/data-proposal

This commit is contained in:
Michael Kohlhase 2019-01-22 18:32:14 +01:00
parent 2228d9cc56
commit c75f3a62b9

View File

@ -2792,4 +2792,4 @@ joint&\multicolumn{\the@site}{l|}{\jpub $\hat=$ publication, \jpro $\hat=$ proje
% mode: doctex
% TeX-master: t
% End:
% LocalWords: 9,maxcitenames multilinguality 2pt,color 2,title
% LocalWords: 9,maxcitenames multilinguality 2pt,color 2,title 5,step