# HG changeset patch
# User wenzelm
# Date 1457211873 -3600
# Node ID bf9a024ca2383f31fefb953d35efd4fe198ef260
# Parent  5335e5c53312ddec63fe6dbb6bb84552a8493381
proper latex setup;

diff -r 5335e5c53312 -r bf9a024ca238 src/Doc/Tutorial/document/root.tex
--- a/src/Doc/Tutorial/document/root.tex	Sat Mar 05 21:23:28 2016 +0100
+++ b/src/Doc/Tutorial/document/root.tex	Sat Mar 05 22:04:33 2016 +0100
@@ -1,6 +1,6 @@
 \documentclass{article}
 \usepackage{cl2emono-modified,isabelle,isabellesym}
-\usepackage{proof,amsmath,amsfonts}
+\usepackage{proof,amsmath,amsfonts,amssymb}
 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,ttbox,comment}
 \usepackage{eurosym}
 \usepackage[english]{babel}