| changeset 55369 | 713629c2b73c |
| parent 17159 | d5060118122e |
| child 58886 | 8a6cac7c7247 |
--- a/src/HOL/MicroJava/document/root.tex Sun Feb 09 17:21:03 2014 +0100 +++ b/src/HOL/MicroJava/document/root.tex Sun Feb 09 17:41:17 2014 +0100 @@ -1,6 +1,3 @@ -% $Id$ - -%\documentclass[11pt,a4paper]{article} \documentclass[11pt,a4paper]{book} \usepackage{graphicx,latexsym,isabelle,isabellesym,pdfsetup}