This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2009.4.25)  16 FEB 2016 18:09
entering extended mode
**ifmtarg.tex
(./ifmtarg.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
(/sw/share/texmf-dist/tex/latex/filecontents/filecontents.sty
Package: filecontents 2004/08/16 v1.1 Create an external file from within a LaT
eX document
)

LaTeX Warning: Overwriting file `./ifmtarg.sty'.

\openout15 = `ifmtarg.sty'.



LaTeX Warning: Overwriting file `./ifmtarg.ins'.

\openout15 = `ifmtarg.ins'.


(/Users/cp/svn/hilbertbernays/trunk/article.cls
Document Class: article 1999/01/07 v1.4a Standard LaTeX document class
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/size10.clo
File: size10.clo 2000/05/19 v1.4b Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/sw/share/texmf-dist/tex/latex/titlesec/titlesec.sty
Package: titlesec 2005/01/22 v2.6 Sectioning titles
\ttl@box=\box26
\beforetitleunit=\skip43
\aftertitleunit=\skip44
\ttl@plus=\dimen103
\ttl@minus=\dimen104
\titlewidth=\dimen105
\titlewidthlast=\dimen106
\titlewidthfirst=\dimen107
)
(/sw/share/texmf-dist/tex/latex/tools/array.sty
Package: array 2003/12/17 v2.4a Tabular extension package (FMi)
\col@sep=\dimen108
\extrarowheight=\dimen109
\NC@list=\toks14
\extratabsurround=\skip45
\backup@length=\skip46
)

! LaTeX Error: File `bigfoot.sty' not found.

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)

Enter file name: 
! Emergency stop.
<read *> 
         
l.48 \usepackage
                [svgnames]{xcolor}^^M
End of file on the terminal!

 
Here is how much of TeX's memory you used:
 499 strings out of 94500
 5978 string characters out of 1176114
 53600 words of memory out of 1500000
 3743 multiletter control sequences out of 10000+50000
 3640 words of font info for 14 fonts, out of 1200000 for 2000
 580 hyphenation exceptions out of 8191
 23i,0n,20p,143b,314s stack positions out of 5000i,500n,6000p,200000b,5000s
PDF statistics:
 0 PDF objects out of 65536
 0 named destinations out of 20000
 1 words of extra memory for PDF output out of 65536
No pages of output.