diff options
Diffstat (limited to 'doc/reference/examples.verb.tex')
| -rw-r--r-- | doc/reference/examples.verb.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/reference/examples.verb.tex b/doc/reference/examples.verb.tex index e08303d972..16af024122 100644 --- a/doc/reference/examples.verb.tex +++ b/doc/reference/examples.verb.tex @@ -1,6 +1,8 @@ +%% $Id$ + \documentclass[11pt]{report} -\usepackage{fleqn,a4wide,vquote,modefs,math,prooftree,funneldefs} +\usepackage{fleqn,a4wide,vquote,modefs,math,prooftree,scaladefs} \newcommand{\exercise}{\paragraph{Exercise:}} \title{Scala By Examples} |