diff options
author | paltherr <paltherr@epfl.ch> | 2003-03-12 10:22:04 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-03-12 10:22:04 +0000 |
commit | 7ba32e7eefcff512473c54298acd5a4a938474a2 (patch) | |
tree | 4597b7c5347801c4442abde1c70504affac9e12e /doc/reference | |
parent | b6c9458943aae388225c52b4af61e6958fe2118b (diff) | |
download | scala-7ba32e7eefcff512473c54298acd5a4a938474a2.tar.gz scala-7ba32e7eefcff512473c54298acd5a4a938474a2.tar.bz2 scala-7ba32e7eefcff512473c54298acd5a4a938474a2.zip |
- Changed funneldefs to scaladefs
Diffstat (limited to 'doc/reference')
-rw-r--r-- | doc/reference/reference.verb.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference/reference.verb.tex b/doc/reference/reference.verb.tex index 7e011563b1..4e76f28cfc 100644 --- a/doc/reference/reference.verb.tex +++ b/doc/reference/reference.verb.tex @@ -2,7 +2,7 @@ \documentclass[11pt]{report} -\usepackage{fleqn,a4wide,modefs,math,prooftree,funneldefs,vquote} +\usepackage{fleqn,a4wide,modefs,math,prooftree,scaladefs,vquote} \newcommand{\ifqualified}[1]{} \newcommand{\iflet}[1]{} |