From 7ba32e7eefcff512473c54298acd5a4a938474a2 Mon Sep 17 00:00:00 2001 From: paltherr Date: Wed, 12 Mar 2003 10:22:04 +0000 Subject: - Changed funneldefs to scaladefs --- doc/reference/reference.verb.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/reference/reference.verb.tex') 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]{} -- cgit v1.2.3