equal
deleted
inserted
replaced
8 \usepackage{isar} |
8 \usepackage{isar} |
9 \usepackage{isabelle} |
9 \usepackage{isabelle} |
10 \usepackage{isabellesym} |
10 \usepackage{isabellesym} |
11 \usepackage{style} |
11 \usepackage{style} |
12 \usepackage{pdfsetup} |
12 \usepackage{pdfsetup} |
|
13 \usepackage{railsetup} |
|
14 \usepackage{framed} |
13 |
15 |
14 \newbox\boxA |
16 \newbox\boxA |
15 \setbox\boxA=\hbox{\ } |
17 \setbox\boxA=\hbox{\ } |
16 \parindent=4\wd\boxA |
18 \parindent=4\wd\boxA |
17 |
19 |
18 \newcommand{\cmd}[1]{\isacommand{#1}} |
20 \newcommand{\cmd}[1]{\isacommand{#1}} |
19 |
21 |
20 \def\isacharprime{\isamath{{'}\mskip-2mu}} |
22 \renewcommand{\isacharprime}{\isamath{{'}\mskip-2mu}} |
21 \renewcommand{\isacharunderscore}{\mbox{\_}} |
23 \renewcommand{\isacharunderscore}{\mbox{\_}} |
22 \renewcommand{\isacharunderscorekeyword}{\mbox{\_}} |
24 \renewcommand{\isacharunderscorekeyword}{\mbox{\_}} |
23 \renewcommand{\isachardoublequote}{\mbox{\upshape{``}}} |
25 \renewcommand{\isachardoublequote}{\mbox{\upshape{``}}} |
24 \renewcommand{\isachardoublequoteopen}{\mbox{\upshape{``}\,}} |
26 \renewcommand{\isachardoublequoteopen}{\mbox{\upshape{``}\,}} |
25 \renewcommand{\isachardoublequoteclose}{\mbox{\,\upshape{''}}} |
27 \renewcommand{\isachardoublequoteclose}{\mbox{\,\upshape{''}}} |