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

Commit ec4ef56a authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 474b60aa
......@@ -12,7 +12,7 @@
\def\nlex#1{``\textcolor{teal}{#1}''}
\def\qv#1{?#1}
\usepackage[hyperref=auto,style=alphabetic,isbn=false]{biblatex}
\usepackage[hyperref=auto,style=alphabetic,isbn=false,backend=bibtex]{biblatex}
\addbibresource{kwarcpubs.bib}
\addbibresource{extpubs.bib}
\addbibresource{kwarccrossrefs.bib}
......@@ -93,7 +93,7 @@ language for mathematical text:~\cite{HumayounMNMTCNL,MathNat:on,Humayoun:phd}.
has a \GF grammar at~\cite{CMLgrammar:on}.
Also we should look at the Plato
System~\cite{Wagner:coamas10,WAB:PAMbTEaPAS,AutexierEtAl:notations-texmacs-plato,plato:web};
System~\cite{Wagner:coamas10,WAB:PAMbTEaPAS,AutexierEtAl:notations-texmacs-plato};
see also ~\url{https://page.mi.fu-berlin.de/cbenzmueller/papers/J14.pdf}
\section{Question: How to use \GF for Formulae}
......
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