Commit 7f089608 authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 1812d4f4
......@@ -4,15 +4,15 @@
\frametitle{Digital Text}
\begin{itemize}
\item
\begin{definition}[id=plain-text.def]
\begin{definition}
\adefii{Digital text}{digital}{text} is a digital encoding of textual material that
can be read without much processing.
\end{definition}
\item
\begin{definition}
\atrefii{Digital text}{digital}{text} is subdivided into \defii{plain}{text}, where
all characters carry the textual information and \defii{formatted}{text}, which also
contains \trefiis[markup]{markup}{code}.
\begin{definition}[id=plain-text.def]
\Trefii{digital}{text} is subdivided into \defii{plain}{text}, where all characters
carry the textual information and \defii{formatted}{text}, which also contains
\trefiis[markup]{markup}{code}.
\end{definition}
\item
\begin{omtext}
......
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