src/Doc/JEdit/document/root.tex

--- a/src/Doc/JEdit/document/root.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/JEdit/document/root.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -3,7 +3,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{supertabular}
 \usepackage{graphicx}
-\usepackage{iman,extra,isar,ttbox}
+\usepackage{iman,extra,isar}
 \usepackage[nohyphen,strings]{underscore}
 \usepackage{amssymb}
 \usepackage{isabelle,isabellesym}