Commit 65b86b29 authored by Asta H. From's avatar Asta H. From
Browse files

Update root.tex

parent 285e1cc62c43
......@@ -2,6 +2,8 @@
\usepackage[T1]{fontenc}
\usepackage{isabelle,isabellesym}
\usepackage{amssymb}
% this should be the last package used
\usepackage{pdfsetup}
......
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