Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
workshop:heidelberg:september_2018:venue [2018/07/25 12:38] – Maurits W. Haverkort | workshop:heidelberg:september_2018:venue [2018/07/25 12:39] – Maurits W. Haverkort | ||
---|---|---|---|
Line 20: | Line 20: | ||
{{url> | {{url> | ||
+ | |||
+ | ===== Table of contents ===== | ||
+ | {{indexmenu> |