equal
deleted
inserted
replaced
34 |
34 |
35 \newenvironment{readmore}% |
35 \newenvironment{readmore}% |
36 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{} |
36 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{} |
37 |
37 |
38 % to work around a problem with \isanewline |
38 % to work around a problem with \isanewline |
39 \renewcommand{\isanewline}{\parindent0pt\parskip0pt\mbox{}\par\mbox{}} |
39 \renewcommand{\isanewline}{{\parindent0pt\parskip0pt\mbox{}\par\mbox{}}} |
40 |
40 |
41 \renewenvironment{isabelle} |
41 \renewenvironment{isabelle} |
42 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
42 {\begin{trivlist}\begin{isabellebody}\small\item\relax} |
43 {\end{isabellebody}\end{trivlist}} |
43 {\end{isabellebody}\end{trivlist}} |
44 |
44 |