doc/auth-exp.tex
author Walther Neuper <wneuper@ist.tugraz.at>
Tue, 18 Dec 2018 08:05:43 +0100
changeset 5235 3ca9690d3e8b
parent 3184 197069877531
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 3 to Lars
wneuper@3184
     1
\part{The \isac{} Authoring System}
wneuper@3184
     2
wneuper@3184
     3
TODO
wneuper@3184
     4
wneuper@3184
     5
\part{Authoring Examples and Example Collections}
wneuper@3184
     6
wneuper@3184
     7
\section{Introduction}
wneuper@3184
     8
wneuper@3184
     9
\sisac{} as a tutoring system is designed