equal
deleted
inserted
replaced
18 \chardef\isabackslash=`\\ |
18 \chardef\isabackslash=`\\ |
19 |
19 |
20 |
20 |
21 % keyword and section markup |
21 % keyword and section markup |
22 |
22 |
23 \newcommand{\isacommand}[1]{{\bf #1}} |
23 \newcommand{\isacommand}[1]{\emph{\bf #1}} |
24 \newcommand{\isakeyword}[1]{\/{\bf #1}} |
24 \newcommand{\isakeyword}[1]{\emph{\bf #1}} |
25 \newcommand{\isabeginblock}{\isakeyword{\{}} |
25 \newcommand{\isabeginblock}{\isakeyword{\{}} |
26 \newcommand{\isaendblock}{\isakeyword{\}}} |
26 \newcommand{\isaendblock}{\isakeyword{\}}} |
27 |
27 |
28 \newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}} |
28 \newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}} |
29 \newcommand{\isamarkupheader}[1]{#1} |
29 \newcommand{\isamarkupheader}[1]{#1} |