this is for holding javascript data
Deyan Ginev edited header.tex
almost 9 years ago
Commit id: b656323d7f7c3e48f2d0af76b15345f744e696d5
deletions | additions
diff --git a/header.tex b/header.tex
index 03a51ba..8dd2b3f 100644
--- a/header.tex
+++ b/header.tex
...
\usepackage{latexml,lxRDFa}
\def\onlyHTML#1{\iflatexml#1\fi}
\def\onlyPDF#1{\iflatexml\else#1\fi}
\newtheorem{theorem}{Theorem}
\newtheorem{proof}{Proof}