equal
deleted
inserted
replaced
27 %for \<cent>, \<currency> |
27 %for \<cent>, \<currency> |
28 |
28 |
29 % this should be the last package used |
29 % this should be the last package used |
30 \usepackage{pdfsetup} |
30 \usepackage{pdfsetup} |
31 |
31 |
|
32 \usepackage{isaverbatimwrite} |
|
33 |
32 % urls in roman style, theory text in math-similar italics |
34 % urls in roman style, theory text in math-similar italics |
33 \urlstyle{rm} |
35 \urlstyle{rm} |
34 \isabellestyle{it} |
36 \isabellestyle{it} |
35 |
37 |
36 \newcommand{\CMD}[1]{\isatext{\rm\sffamily#1}} |
38 \newcommand{\CMD}[1]{\isatext{\rm\sffamily#1}} |
44 % for uniform font size |
46 % for uniform font size |
45 \renewcommand{\isastyle}{\isastyleminor} |
47 \renewcommand{\isastyle}{\isastyleminor} |
46 |
48 |
47 |
49 |
48 \begin{document} |
50 \begin{document} |
|
51 \openisaverbatimout fragments |
49 |
52 |
50 \title{Concrete Semantics} |
53 \title{Concrete Semantics} |
51 \author{TN \& GK} |
54 \author{TN \& GK} |
52 \maketitle |
55 \maketitle |
53 |
56 |