| changeset 50426 | d2c60ada3ece |
| parent 50084 | 3a3c54342e58 |
| child 52411 | f192c4ea5b17 |
--- a/src/Doc/Ref/document/root.tex Fri Dec 07 17:00:40 2012 +0100 +++ b/src/Doc/Ref/document/root.tex Fri Dec 07 18:05:24 2012 +0100 @@ -1,5 +1,5 @@ \documentclass[12pt,a4paper]{report} -\usepackage{graphicx,iman,extra,ttbox,proof,pdfsetup} +\usepackage{graphicx,iman,extra,ttbox,pdfsetup} \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Isabelle Reference Manual}