Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 10d8217b authored by Michael Kohlhase's avatar Michael Kohlhase

typo

parent 7650b3af
\begin{modsig}[creators=miko]{dgraph}
\gimport[smglom/mv]{structure}
\gimport[smglom/sets]{pair}
\gimport{subsupset}
\gimport[smglom/sets]{subsupset}
\symi*{dgraph}
\symi{vertex}
\symi{edge}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment