--- a/Slides/document/root.tex	Thu Jun 20 23:28:26 2013 -0400
+++ b/Slides/document/root.tex	Tue Feb 25 20:01:47 2014 +0000
@@ -1,9 +1,9 @@
 \documentclass[dvipsnames, 14pt,t]{beamer}
 \usepackage{beamerthemeplaincu}
 %%\usepackage{ulem}
-\usepackage[T1]{fontenc}
+%\usepackage[T1]{fontenc}
 \usepackage{proof}
-\usepackage[latin1]{inputenc}
+%\usepackage[latin1]{inputenc}
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{mathpartir}