equal
deleted
inserted
replaced
9 % basic environment |
9 % basic environment |
10 |
10 |
11 \newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{} |
11 \newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{} |
12 \newcommand{\isanewline}{\mbox{}\\\mbox{}} |
12 \newcommand{\isanewline}{\mbox{}\\\mbox{}} |
13 |
13 |
|
14 \chardef\isabraceleft=`\{ |
|
15 \chardef\isabraceright=`\} |
|
16 \chardef\isatilde=`\~ |
|
17 \chardef\isacircum=`\^ |
|
18 \chardef\isabackslash=`\\ |
14 |
19 |
15 % keywords |
20 |
|
21 % keyword and section markup |
16 |
22 |
17 \newcommand{\isacommand}[1]{{\bf #1}} |
23 \newcommand{\isacommand}[1]{{\bf #1}} |
18 \newcommand{\isakeyword}[1]{{\bf #1}} |
24 \newcommand{\isakeyword}[1]{{\bf #1}} |
19 |
25 \newcommand{\isabeginblock}{\isakeyword{\{}} |
20 |
26 \newcommand{\isaendblock}{\isakeyword{\}}} |
21 %section markup |
|
22 |
27 |
23 \newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}} |
28 \newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}} |
24 \newcommand{\isamarkupheader}[1]{#1} |
29 \newcommand{\isamarkupheader}[1]{#1} |
25 |
30 |
26 \newcommand{\isamarkupchapter}[1]{\chapter{#1}} |
31 \newcommand{\isamarkupchapter}[1]{\chapter{#1}} |