summaryrefslogtreecommitdiff
path: root/smurf.sty
diff options
context:
space:
mode:
authorCamil Staps2016-04-29 14:33:55 +0200
committerCamil Staps2016-04-29 14:33:55 +0200
commit8cf0176b6e40e0f7af34c650748e3c51712e4ee4 (patch)
tree47f9641530162c2541c7d857b3b70a711014c1c2 /smurf.sty
parentOver Exec (diff)
Voorbeelden
Diffstat (limited to 'smurf.sty')
-rw-r--r--smurf.sty3
1 files changed, 2 insertions, 1 deletions
diff --git a/smurf.sty b/smurf.sty
index 036fba5..6b60f52 100644
--- a/smurf.sty
+++ b/smurf.sty
@@ -1,4 +1,5 @@
\RequirePackage{amssymb}
+\RequirePackage{verbatim}
% General
\def\isdef{\stackrel{\text{def}}{=}}
@@ -78,6 +79,6 @@
\def\val{\mathit{val}}
% Programs
-\newenvironment{smurf}{\tt\begin{center}}{\end{center}}
+\newenvironment{smurf}{\begin{center}\tt}{\end{center}}
\let\smurfinline\texttt