PWD /build/coq/src/coq-8.8.2/doc/sphinx/_build/latex
INPUT /usr/share/texmf-dist/web2c/texmf.cnf
INPUT /var/lib/texmf/web2c/xetex/xelatex.fmt
INPUT CoqRefMan.tex
OUTPUT CoqRefMan.log
INPUT sphinxmanual.cls
INPUT sphinxmanual.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/report.cls
INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
INPUT /usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex
INPUT /usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex
INPUT /usr/share/texmf-dist/tex/generic/xkeyval/keyval.tex
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3-code.tex
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3-code.tex
INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
INPUT /usr/share/texmf-dist/tex/generic/unicode-data/UnicodeData.txt
INPUT /usr/share/texmf-dist/tex/generic/unicode-data/UnicodeData.txt
INPUT /usr/share/texmf-dist/tex/generic/unicode-data/CaseFolding.txt
INPUT /usr/share/texmf-dist/tex/generic/unicode-data/CaseFolding.txt
INPUT /usr/share/texmf-dist/tex/generic/unicode-data/SpecialCasing.txt
INPUT /usr/share/texmf-dist/tex/generic/unicode-data/SpecialCasing.txt
INPUT /dev/null
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/l3xdvipdfmx.def
INPUT /usr/share/texmf-dist/tex/latex/l3kernel/l3xdvipdfmx.def
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/base/tuenc.def
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/share/texmf-dist/tex/latex/base/tuenc.def
INPUT /usr/share/texmf-dist/tex/latex/base/tuenc.def
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/share/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty
INPUT /usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty
INPUT /usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf
INPUT /usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT /usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty
INPUT sphinx.sty
INPUT sphinx.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/share/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
INPUT /usr/share/texmf-dist/tex/latex/base/textcomp.sty
INPUT /usr/share/texmf-dist/tex/latex/base/textcomp.sty
INPUT /usr/share/texmf-dist/tex/latex/base/ts1enc.def
INPUT /usr/share/texmf-dist/tex/latex/base/ts1enc.def
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/tools/longtable.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
INPUT sphinxmulticell.sty
INPUT sphinxmulticell.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/base/makeidx.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/framed/framed.sty
INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT /usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
INPUT footnotehyper-sphinx.sty
INPUT footnotehyper-sphinx.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/float/float.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/parskip/parskip.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/base/alltt.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/upquote/upquote.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty
INPUT sphinxhighlight.sty
INPUT sphinxhighlight.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
INPUT /usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg
INPUT /usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg
INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def
INPUT /usr/share/texmf-dist/tex/latex/url/url.sty
INPUT /usr/share/texmf-dist/tex/latex/url/url.sty
INPUT /usr/share/texmf-dist/fonts/tfm/adobe/zapfding/pzdr.tfm
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/share/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/stringenc.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/stringenc.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/filehook/filehook.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/share/texmf-dist/tex/latex/base/ts1enc.def
INPUT /usr/share/texmf-dist/tex/latex/base/ts1enc.def
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex
INPUT /usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.sty
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.sty
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/microtype.cfg
INPUT refman-preamble.sty
INPUT refman-preamble.sty
INPUT coqnotations.sty
INPUT coqnotations.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-xetex.def
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty
OUTPUT CoqRefMan.idx
INPUT CoqRefMan.aux
INPUT CoqRefMan.aux
OUTPUT CoqRefMan.aux
INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
INPUT /usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
INPUT CoqRefMan.out
INPUT CoqRefMan.out
INPUT CoqRefMan.out
INPUT CoqRefMan.out
INPUT ./CoqRefMan.out
OUTPUT CoqRefMan.out
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-LatinModernRoman.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-LatinModernRoman.cfg
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg
INPUT /usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT CoqRefMan.toc
INPUT CoqRefMan.toc
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
OUTPUT CoqRefMan.toc
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT coqide.png
INPUT coqide.png
INPUT coqide-queries.png
INPUT coqide-queries.png
INPUT CoqRefMan.ind
INPUT CoqRefMan.ind
INPUT CoqRefMan.aux
INPUT ./CoqRefMan.out
