equal
deleted
inserted
replaced
5 %% root for draft documents |
5 %% root for draft documents |
6 %% |
6 %% |
7 |
7 |
8 \documentclass[10pt,a4paper]{article} |
8 \documentclass[10pt,a4paper]{article} |
9 \usepackage{isabelle,isabellesym} |
9 \usepackage{isabelle,isabellesym} |
|
10 |
|
11 %packages for unusual symbols -- selection needs to conform to |
|
12 %result of 'isatool latex -o syms' |
10 \usepackage[latin1]{inputenc} |
13 \usepackage[latin1]{inputenc} |
|
14 \usepackage{amssymb} |
|
15 \usepackage{textcomp} |
|
16 |
11 \usepackage{pdfsetup} |
17 \usepackage{pdfsetup} |
12 \usepackage{latexsym} |
|
13 |
18 |
14 \pagestyle{myheadings} |
19 \pagestyle{myheadings} |
15 \renewcommand{\isamarkupheader}[1]% |
20 \renewcommand{\isamarkupheader}[1]% |
16 {{\def\isacharunderscore{\mbox{-}}% |
21 {{\def\isacharunderscore{\mbox{-}}% |
17 \section*{#1}\markright{FILE~``\isabellecontext''}}} |
22 \section*{#1}\markright{FILE~``\isabellecontext''}}} |