Discussion:
springer LNCS: \proof is already defined
Jose Quesada
2010-04-01 14:27:32 UTC
Permalink
Hi,

I need to prepare a paper using this style:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

I downloaded the latex files, placed them in the right place, and
reconfigured lyx. The layout springer LNCS shows as available.
Now, if I open an empty file, assign this style, and try to compile I get
latex: \proof is already defined

Any idea why?
Does anyone have a paper in the style I can copy-paste into to avoid problems?
Thanks!
(Lyx 164, ubuntu 9.10)

Best,
-Jose

Jose Quesada, PhD.
Max Planck Institute,
Center for Adaptive Behavior and Cognition,
Berlin
http://www.josequesada.name/
http://twitter.com/Quesada
Jose Quesada
2010-04-01 14:48:02 UTC
Permalink
Just to be more concrete, here's the log attached and the error part:

(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\***@style=\toks20
\***@bodyfont=\toks21
\***@headfont=\toks22
\***@notefont=\toks23
\***@headpunct=\toks24
\***@preskip=\skip45
\***@postskip=\skip46
\***@headsep=\skip47
\***@everypar=\toks25
LaTeX Info: Redefining \qed on input line 283.

! LaTeX Error: Command \proof already defined.
Or name \end... illegal, see p.192 of the manual.

See the LaTeX manual or LaTeX Companion for explanation.
Type H <return> for immediate help.
...

l.444 }

Your command was ignored.
Type I <command> <return> to replace it with another command,
or <return> to continue without it.

) (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
Package: hyperref 2007/02/07 v6.75r Hypertext links for LaTeX
(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\***@toks@=\toks26
)
\@linkdim=\dimen125
\***@linkcounter=\count117
\***@pagecounter=\count118
(/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2007/02/07 v6.75r Hyperref: PDFDocEncoding definition (HO)
) (/etc/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2006/08/22 v2.4 Connects package keyval with LaTeX options (
HO)
)
Package hyperref Info: Option `unicode' set `true' on input line 2238.
(/usr/share/texmf-texlive/tex/latex/hyperref/puenc.def
File: puenc.def 2007/02/07 v6.75r Hyperref: PDF Unicode definition (HO)
)
Package hyperref Info: Option `bookmarks' set `true' on input line 2238.
Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 2238
.
Package hyperref Info: Option `bookmarksopen' set `true' on input line 2238.
Package hyperref Info: Option `breaklinks' set `false' on input line 2238.
Package hyperref Info: Option `colorlinks' set `true' on input line 2238.
Package hyperref Info: Hyper figures OFF on input line 2288.
Package hyperref Info: Link nesting OFF on input line 2293.
Package hyperref Info: Hyper index ON on input line 2296.
Package hyperref Info: Plain pages OFF on input line 2303.
Package hyperref Info: Backreferencing OFF on input line 2308.
Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 2444.
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty
\Urlmuskip=\muskip10
Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 2599.
\***@menulength=\count119
\***@Width=\dimen126
\***@charsize=\dimen127
\***@toks=\toks27
\***@toks=\toks28
Package hyperref Info: Hyper figures OFF on input line 3102.
Package hyperref Info: Link nesting OFF on input line 3107.
Package hyperref Info: Hyper index ON on input line 3110.
Package hyperref Info: backreferencing OFF on input line 3117.
Package hyperref Info: Link coloring ON on input line 3120.
\***@abspage=\count120
\***@Item=\count121
\***@Hfootnote=\count122
)
Best,
-Jose

Jose Quesada, PhD.
Max Planck Institute,
Center for Adaptive Behavior and Cognition,
Berlin
http://www.josequesada.name/
http://twitter.com/Quesada
Post by Jose Quesada
Hi,
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
I downloaded the latex files, placed them in the right place, and
reconfigured lyx. The layout springer LNCS shows as available.
Now, if I open an empty file, assign this style, and try to compile I get
latex: \proof is already defined
Any idea why?
Does anyone have a paper in the style I can copy-paste into to avoid problems?
Thanks!
(Lyx 164, ubuntu 9.10)
Best,
-Jose
Jose Quesada, PhD.
Max Planck Institute,
Center for Adaptive Behavior and Cognition,
Berlin
http://www.josequesada.name/
http://twitter.com/Quesada
Vincent van Ravesteijn - TNW
2010-04-01 14:52:40 UTC
Permalink
Post by Jose Quesada
(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
Did you load the Theorem(AMS) module. If so, please unload it.

Vincent
Jose Quesada
2010-04-01 15:05:45 UTC
Permalink
that fixes it, thanks!
Best,
-Jose

Jose Quesada, PhD.
Max Planck Institute,
Center for Adaptive Behavior and Cognition,
Berlin
http://www.josequesada.name/
http://twitter.com/Quesada



On Thu, Apr 1, 2010 at 4:52 PM, Vincent van Ravesteijn - TNW
Post by Vincent van Ravesteijn - TNW
Post by Jose Quesada
(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
Did you load the Theorem(AMS) module. If so, please unload it.
Vincent
Loading...