diff -r 59d5fe89f787 -r 9712294e60b9 doc-src/Tutorial/tutorial.tex
--- a/doc-src/Tutorial/tutorial.tex	Thu Nov 12 11:27:36 1998 +0100
+++ b/doc-src/Tutorial/tutorial.tex	Thu Nov 12 16:45:17 1998 +0100
@@ -1,5 +1,5 @@
 \documentclass[11pt]{report}
-\usepackage{a4,latexsym}
+\usepackage{a4,latexsym,moreverb}
 \usepackage{graphicx}
 
 \makeatletter