Commit 391e3f03 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

undoing preamble changes from yesterday, they cannot work

parent b83259fc
\documentclass[mh]{smglom}
\libusepackage{preamble}
\libinput{preamble}
\begin{document}
\begin{mhmodnl}[creators=miko]{tannakian-symbol}{en}
\begin{definition}
......
\documentclass[mh]{smglom}
\libusepackage{preamble}
\libinput{preamble}
\begin{document}
\begin{modsig}[creators=miko]{tannakian-symbol}
\gimport[smglom/sets]{finite-cardinality}
......
Supports Markdown
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