Strano errore di compilazione

Non mi era mai successo.
Vi metto il log completo di una compilazione, della quale preferisco non mettere qui nulla, per il momento.
Spero che mi possiate dire qualcosa: da quanto capisco, mi si dice che il documento ha bisogno di un file alla versione 1.4. Ma io ho installata proprio quella versione! 🙂

Ciao
Tommaso

`
This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=pdflatex 2012.5.12) 25 MAY 2012 14:49
entering extended mode
\write18 enabled.
%&-line parsing enabled.
**Codici.tex
(./Codici.tex
LaTeX2e <2011/06/27>
Babel and hyphenation patterns for english, dumylang, nohyphenation, ge
rman-x-2011-07-01, ngerman-x-2011-07-01, afrikaans, ancientgreek, ibycus, arabi
c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
h, french, friulan, galician, german, ngerman, swissgerman, monogreek, greek, h
ungarian, icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, ma
rathi, oriya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian,
kurmanji, lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nyn
orsk, polish, portuguese, romanian, romansh, russian, sanskrit, serbian, serbia
nc, slovak, slovenian, spanish, swedish, turkish, turkmen, ukrainian, uppersorb
ian, welsh, loaded.
(/usr/local/texlive/2011/texmf-dist/tex/latex/koma-script/scrartcl.cls
Document Class: scrartcl 2012/03/08 v3.10a KOMA-Script document class (article)

(/usr/local/texlive/2011/texmf-dist/tex/latex/koma-script/scrkbase.sty
Package: scrkbase 2012/03/08 v3.10a KOMA-Script package (KOMA-Script-dependent
basics and keyval usage)

(/usr/local/texlive/2011/texmf-dist/tex/latex/koma-script/scrbase.sty
Package: scrbase 2012/03/08 v3.10a KOMA-Script package (KOMA-Script-independent
basics and keyval usage)

(/usr/local/texlive/2011/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/koma-script/scrlfile.sty
Package: scrlfile 2011/03/09 v3.09 KOMA-Script package (loading files)

Package scrlfile, 2011/03/09 v3.09 KOMA-Script package (loading files)
Copyright (C) Markus Kohm

))) (/usr/local/texlive/2011/texmf-dist/tex/latex/koma-script/tocbasic.sty
Package: tocbasic 2011/05/30 v3.09a KOMA-Script package (handling toc-files)
)
Package tocbasic Info: omitting babel extension for `toc'
(tocbasic) because of feature `nobabel' available
(tocbasic) for `toc' on input line 115.
Package tocbasic Info: omitting babel extension for `lof'
(tocbasic) because of feature `nobabel' available
(tocbasic) for `lof' on input line 116.
Package tocbasic Info: omitting babel extension for `lot'
(tocbasic) because of feature `nobabel' available
(tocbasic) for `lot' on input line 117.
Package scrartcl Info: You've used obsolete option `10pt'.
(scrartcl) \KOMAExecuteOptions{fontsize=10pt} will be
(scrartcl) used instead.
(scrartcl) You may simply replace `10pt'
(scrartcl) by `fontsize=10pt'.
Class scrartcl Info: You've used standard option `notitlepage'.
(scrartcl) This is correct!
(scrartcl) Internally I'm using `titlepage=false'.
(scrartcl) If you'd like to set the option with \KOMAoptions,
(scrartcl) you'd have to use `titlepage=false' there
(scrartcl) instead of `notitlepage', too.

Class scrartcl Warning: You've used obsolete option `cleardoubleempty'.
(scrartcl) Usage of this option indicates an old document and
(scrartcl) changes compatibility level using
(scrartcl) `cleardoublepage=empty,version=first'.
(scrartcl) If you don't want this, you should simply replace
(scrartcl) usage of option `cleardoubleempty' by `cleardoublepage=
empty'.

Class scrartcl Info: Switching compatibility level to `first'.
Class scrartcl Info: You've used standard option `abstracton'.
(scrartcl) This is correct!
(scrartcl) Internally I'm using `abstract=true'.
(scrartcl) If you'd like to set the option with \KOMAoptions,
(scrartcl) you'd have to use `abstract=true' there
(scrartcl) instead of `abstracton', too.

Class scrartcl Warning: You've used obsolete option `pointlessnumbers'.
(scrartcl) Usage of this option indicates an old document and
(scrartcl) changes compatibility level using
(scrartcl) `numbers=noenddot,version=first'.
(scrartcl) If you don't want this, you should simply replace
(scrartcl) usage of option `pointlessnumbers' by `numbers=noenddot
'.

Class scrartcl Info: Switching compatibility level to `first'.

Class scrartcl Warning: You've used obsolete option `tablecaptionabove'.
(scrartcl) Usage of this option indicates an old document and
(scrartcl) changes compatibility level using
(scrartcl) `captions=tableheading,version=first'.
(scrartcl) If you don't want this, you should simply replace
(scrartcl) usage of option `tablecaptionabove' by `captions=tableh
eading'.

Class scrartcl Info: Switching compatibility level to `first'.
Class scrartcl Info: File `scrsize10pt.clo' used to setup font sizes on input l
ine 1263.
(/usr/local/texlive/2011/texmf-dist/tex/latex/koma-script/scrsize10pt.clo
File: scrsize10pt.clo 2012/03/08 v3.10a KOMA-Script font size class option (10p
t)
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/koma-script/typearea.sty
Package: typearea 2012/03/08 v3.10a KOMA-Script package (type area)

Package typearea, 2012/03/08 v3.10a KOMA-Script package (type area)
Copyright (C) Frank Neukam, 1992-1994
Copyright (C) Markus Kohm, 1994-

\ta@bcor=\skip41
\ta@div=\count79
Package typearea Info: You've used standard option `a4paper'.
(typearea) This is correct!
(typearea) Internally I'm using `paper=a4'.
(typearea) If you'd like to set the option with \KOMAoptions,
(typearea) you'd have to use `paper=a4' there
(typearea) instead of `a4paper', too.
\ta@hblk=\skip42
\ta@vblk=\skip43
\ta@temp=\skip44
Package typearea Info: These are the values describing the layout:
(typearea) DIV = 8
(typearea) BCOR = 14.22636pt
(typearea) \paperwidth = 597.50793pt
(typearea) \textwidth = 364.55101pt
(typearea) DIV departure = -1%
(typearea) \evensidemargin = 73.55038pt
(typearea) \oddsidemargin = 14.86656pt
(typearea) \paperheight = 845.04694pt
(typearea) \textheight = 454.0pt
(typearea) \topmargin = 33.36087pt
(typearea) \headheight = 15.0pt
(typearea) \headsep = 18.0pt
(typearea) \topskip = 10.0pt
(typearea) \footskip = 42.0pt
(typearea) \baselineskip = 12.0pt
(typearea) on input line 1177.
)
\c@part=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\abovecaptionskip=\skip45
\belowcaptionskip=\skip46
\c@pti@nb@sid@b@x=\box26
\c@figure=\count86
\c@table=\count87
\bibindent=\dimen102
) (/usr/local/texlive/2011/texmf-dist/tex/latex/base/inputenc.sty
Package: inputenc 2008/03/30 v1.1d Input encoding file
\inpenc@prehook=\toks15
\inpenc@posthook=\toks16

(/usr/local/texlive/2011/texmf-dist/tex/latex/base/applemac.def
File: applemac.def 2008/03/30 v1.1d Input encoding file
))
(/usr/local/texlive/2011/texmf-dist/tex/latex/base/fontenc.sty
Package: fontenc 2005/09/27 v1.99g Standard LaTeX package

(/usr/local/texlive/2011/texmf-dist/tex/latex/base/t1enc.def
File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
LaTeX Font Info: Redeclaring font encoding T1 on input line 43.
))
(/Users/tommasogordini/Library/texmf/tex/latex/microtype2.5beta/microtype.sty
Package: microtype 2011/09/05 v2.5 Micro-typographical refinements (R
S)
\MT@toks=\toks17
\MT@count=\count88
LaTeX Info: Redefining \textls on input line 766.
\MT@outer@kern=\dimen103
LaTeX Info: Redefining \textmicrotypecontext on input line 1284.
\MT@listname@count=\count89

(/Users/tommasogordini/Library/texmf/tex/latex/microtype2.5beta/microtype-pdfte
x.def
File: microtype-pdftex.def 2011/09/05 v2.5 Definitions specific to pd
ftex (RS)
LaTeX Info: Redefining \lsstyle on input line 883.
LaTeX Info: Redefining \lslig on input line 883.
\MT@outer@space=\skip47
)
Package microtype Info: Loading configuration file microtype.cfg.

(/Users/tommasogordini/Library/texmf/tex/latex/microtype2.5beta/microtype.cfg
File: microtype.cfg 2011/09/05 v2.5 microtype main configuration file
(RS)
)) (/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip48

For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks18
\ex@=\dimen104
))
(/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count90
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count91
\leftroot@=\count92
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count93
\DOTSCASE@=\count94
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box27
\strutbox@=\box28
\big@size=\dimen106
LaTeX Font Info: Redeclaring font encoding OML on input line 567.
LaTeX Font Info: Redeclaring font encoding OMS on input line 568.
\macc@depth=\count95
\c@MaxMatrixCols=\count96
\dotsspace@=\muskip10
\c@parentequation=\count97
\dspbrk@lvl=\count98
\tag@help=\toks19
\row@=\count99
\column@=\count100
\maxfields@=\count101
\andhelp@=\toks20
\eqnshift@=\dimen107
\alignsep@=\dimen108
\tagshift@=\dimen109
\tagwidth@=\dimen110
\totwidth@=\dimen111
\lineht@=\dimen112
\@envbody=\toks21
\multlinegap=\skip49
\multlinetaggap=\skip50
\mathdisplay@stack=\toks22
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2009/06/22 v3.00

(/usr/local/texlive/2011/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
(Font) U/euf/m/n –> U/euf/b/n on input line 96.
))
(/usr/local/texlive/2011/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2009/07/02 v2.20.1
\thm@style=\toks23
\thm@bodyfont=\toks24
\thm@headfont=\toks25
\thm@notefont=\toks26
\thm@headpunct=\toks27
\thm@preskip=\skip51
\thm@postskip=\skip52
\thm@headsep=\skip53
\dth@everypar=\toks28
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/tools/varioref.sty
Package: varioref 2011/10/02 v1.4z package for extended references (FMi)
\c@vrcnt=\count102
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/natbib/natbib.sty
Package: natbib 2010/09/13 8.31b (PWD, AO)
\bibhang=\skip54
\bibsep=\skip55
LaTeX Info: Redefining \cite on input line 694.
\c@NAT@ctr=\count103
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/tools/indentfirst.sty
Package: indentfirst 1995/11/23 v1.03 Indent first paragraph (DPC)
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/tools/multicol.sty
Package: multicol 2011/06/27 v1.7a multicolumn formatting (FMi)
\c@tracingmulticols=\count104
\mult@box=\box29
\multicol@leftmargin=\dimen113
\c@unbalance=\count105
\c@collectmore=\count106
\doublecol@number=\count107
\multicoltolerance=\count108
\multicolpretolerance=\count109
\full@width=\dimen114
\page@free=\dimen115
\premulticols=\dimen116
\postmulticols=\dimen117
\multicolsep=\skip56
\multicolbaselineskip=\skip57
\partial@page=\box30
\last@line=\box31
\mult@rightbox=\box32
\mult@grightbox=\box33
\mult@gfirstbox=\box34
\mult@firstbox=\box35
\@tempa=\box36
\@tempa=\box37
\@tempa=\box38
\@tempa=\box39
\@tempa=\box40
\@tempa=\box41
\@tempa=\box42
\@tempa=\box43
\@tempa=\box44
\@tempa=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\@tempa=\box50
\@tempa=\box51
\@tempa=\box52
\c@columnbadness=\count110
\c@finalcolumnbadness=\count111
\last@try=\dimen118
\multicolovershoot=\dimen119
\multicolundershoot=\dimen120
\mult@nat@firstbox=\box53
\colbreak@box=\box54
\multicol@sort@counter=\count112
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/changepage/chngpage.sty
Package: chngpage 2009/10/20 v1.2b change page layout
\c@cp@cnt=\count113
\c@cp@tempcnt=\count114
)
(/usr/local/texlive/2011/texmf-dist/tex/latex/tools/calc.sty
Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count115
\calc@Bcount=\count116
\calc@Adimen=\dimen121
\calc@Bdimen=\dimen122
\calc@Askip=\skip58
\calc@Bskip=\skip59
LaTeX Info: Redefining \setlength on input line 76.
LaTeX Info: Redefining \addtolength on input line 77.
\calc@Ccount=\count117
\calc@Cskip=\skip60
) (./listings.sty
\lst@mode=\count118
\lst@gtempboxa=\box55
\lst@token=\toks29
\lst@length=\count119
\lst@currlwidth=\dimen123
\lst@column=\count120
\lst@pos=\count121
\lst@lostspace=\dimen124
\lst@width=\dimen125
\lst@newlines=\count122
\lst@lineno=\count123
\c@lstlisting=\count124
\lst@maxwidth=\dimen126

(/usr/local/texlive/2011/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)

***
*** This file requires `listings.sty' version 1.4.
*** You have a serious problem, so I'm exiting …
***

) ) )
(\end occurred inside a group at level 1)

### semi simple group (level 1) entered at line 1999 (\begingroup)
### bottom level
(\end occurred when \ifx on line 1999 was incomplete)
(\end occurred when \ifx on line 1999 was incomplete)
(\end occurred when \ifx on line 1999 was incomplete)
(\end occurred when \ifx on line 1999 was incomplete)
(\end occurred when \ifx on line 1999 was incomplete)
(\end occurred when \ifx on line 1999 was incomplete)
Here is how much of TeX's memory you used:
5085 strings out of 493610
74168 string characters out of 3142404
4184560 words of memory out of 7135269
8384 multiletter control sequences out of 15000+200000
4403 words of font info for 15 fonts, out of 3000000 for 9000
831 hyphenation exceptions out of 8191
38i,1n,54p,232b,94s stack positions out of 5000i,500n,10000p,200000b,50000s

No pages of output.
PDF statistics:
0 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)
1 words of extra memory for PDF output out of 10000 (max. 10000000)
`