equal
deleted
inserted
replaced
27 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
27 \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}} |
28 |
28 |
29 \newdimen\isa@parindent\newdimen\isa@parskip |
29 \newdimen\isa@parindent\newdimen\isa@parskip |
30 |
30 |
31 \newenvironment{isabellebody}{% |
31 \newenvironment{isabellebody}{% |
32 \par% |
32 \isamarkuptrue\par% |
33 \isa@parindent\parindent\parindent0pt% |
33 \isa@parindent\parindent\parindent0pt% |
34 \isa@parskip\parskip\parskip0pt% |
34 \isa@parskip\parskip\parskip0pt% |
35 \isastyle}{\par} |
35 \isastyle}{\par} |
36 |
36 |
37 \newenvironment{isabelle} |
37 \newenvironment{isabelle} |
93 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}} |
93 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}} |
94 \newcommand{\isamarkupsect}[1]{\section{#1}} |
94 \newcommand{\isamarkupsect}[1]{\section{#1}} |
95 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}} |
95 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}} |
96 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}} |
96 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}} |
97 |
97 |
98 \newcommand{\isabeginpar}{\par\medskip} |
98 \newif\ifisamarkup |
|
99 \newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi} |
99 \newcommand{\isaendpar}{\par\medskip} |
100 \newcommand{\isaendpar}{\par\medskip} |
100 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar} |
101 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar} |
101 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}} |
102 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}} |
102 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}} |
103 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}} |
103 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}} |
104 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}} |