# HG changeset patch
# User wenzelm
# Date 1444671670 -7200
# Node ID 9d68db31196c32ab279b6e69c83a8946fb12bd3b
# Parent  9020a3ba6c9adb086912b429547cb90bb40cd09d
obsolete;

diff -r 9020a3ba6c9a -r 9d68db31196c src/Doc/Eisbach/document/root.tex
--- a/src/Doc/Eisbach/document/root.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/Eisbach/document/root.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -7,7 +7,6 @@
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{railsetup}
-\usepackage{ttbox}
 \usepackage{supertabular}
 \usepackage{style}
 \usepackage{pdfsetup}
diff -r 9020a3ba6c9a -r 9d68db31196c src/Doc/How_to_Prove_it/document/prelude.tex
--- a/src/Doc/How_to_Prove_it/document/prelude.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/How_to_Prove_it/document/prelude.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -3,7 +3,6 @@
                              % when including figure files
 \usepackage{multicol}        % used for the two-column index
 \usepackage[bottom]{footmisc}% places footnotes at page bottom
-\usepackage{alltt}
 
 \usepackage{lmodern}
 \usepackage[T1]{fontenc}
diff -r 9020a3ba6c9a -r 9d68db31196c src/Doc/Implementation/document/root.tex
--- a/src/Doc/Implementation/document/root.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/Implementation/document/root.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -8,7 +8,6 @@
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{railsetup}
-\usepackage{ttbox}
 \usepackage{supertabular}
 \usepackage{style}
 \usepackage{pdfsetup}
diff -r 9020a3ba6c9a -r 9d68db31196c src/Doc/Isar_Ref/document/root.tex
--- a/src/Doc/Isar_Ref/document/root.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/Isar_Ref/document/root.tex	Mon Oct 12 19:41:10 2015 +0200
@@ -15,7 +15,6 @@
 \usepackage{isabelle}
 \usepackage{isabellesym}
 \usepackage{railsetup}
-\usepackage{ttbox}
 \usepackage{supertabular}
 \usepackage{style}
 \usepackage{pdfsetup}
diff -r 9020a3ba6c9a -r 9d68db31196c 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}
diff -r 9020a3ba6c9a -r 9d68db31196c src/Doc/System/document/root.tex
--- a/src/Doc/System/document/root.tex	Mon Oct 12 19:32:25 2015 +0200
+++ b/src/Doc/System/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{isabelle,isabellesym}
 \usepackage{railsetup}