| changeset 10023 | 1b8b8ddedea7 |
| parent 9987 | ed35be80285d |
| child 10044 | 07218d743c62 |
--- a/src/HOL/MicroJava/document/root.tex Mon Sep 18 17:58:03 2000 +0200 +++ b/src/HOL/MicroJava/document/root.tex Mon Sep 18 21:29:49 2000 +0200 @@ -2,6 +2,7 @@ \documentclass[11pt,a4paper]{article} \usepackage{latexsym,isabelle,isabellesym,pdfsetup} +\urlstyle{rm} \pagestyle{myheadings} \addtolength{\hoffset}{-1,5cm}