|
@@ -1,5 +1,5 @@
|
|
|
# Fdb version 3
|
|
|
-["pdflatex"] 1454498147 "main.tex" "_build/main.pdf" "main" 1454498149
|
|
|
+["pdflatex"] 1454498342 "main.tex" "_build/main.pdf" "main" 1454498344
|
|
|
"/usr/local/texlive/2015/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc" 1136849721 2971 def0b6c1f0b107b3b936def894055589 ""
|
|
|
"/usr/local/texlive/2015/texmf-dist/fonts/map/fontname/texfonts.map" 1272929888 3287 e6b82fe08f5336d4d5ebc73fb1152e87 ""
|
|
|
"/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx0900.tfm" 1136768653 3584 1a7de6c99457381c64abc1a7c545505f ""
|
|
@@ -206,14 +206,14 @@
|
|
|
"/usr/local/texlive/2015/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1432479641 1764542 91654ba72bdb667e84ea24f076ae16d8 ""
|
|
|
"/usr/local/texlive/2015/texmf-var/web2c/pdftex/pdflatex.fmt" 1444825160 3849860 9a6c8bad1b1c2d831ea8aa22c5cf50f1 ""
|
|
|
"/usr/local/texlive/2015/texmf.cnf" 1432479636 577 0d611272082f3cdb8e80e09a3c69cf07 ""
|
|
|
- "_build/main.aux" 1454498149 1985 7e3d553626bfbe731a8b1b15f0482772 ""
|
|
|
- "_build/main.out" 1454498149 83 97f5c3017cedbf3b3cf41f31b06f34c0 ""
|
|
|
+ "_build/main.aux" 1454498344 1985 7e3d553626bfbe731a8b1b15f0482772 ""
|
|
|
+ "_build/main.out" 1454498344 83 97f5c3017cedbf3b3cf41f31b06f34c0 ""
|
|
|
"llncs.cls" 1450257583 42849 6b6a361172d946c1fa9b666295eaf4bb ""
|
|
|
- "main.tex" 1454498140 1116 b61f7d35a233cb845ef9bf2f7750e504 ""
|
|
|
+ "main.tex" 1454498341 1362 f668d3b37af01830fb592d0a88a8ee73 ""
|
|
|
"mathpartir.sty" 1450257583 12128 8a0f8632ffaaf48ca0ede3cfa099f616 ""
|
|
|
"prelude.tex" 1454088210 8871 514616cb068d286fbc40625da42dc772 ""
|
|
|
(generated)
|
|
|
- "_build/main.log"
|
|
|
+ "_build/main.aux"
|
|
|
"_build/main.pdf"
|
|
|
"_build/main.out"
|
|
|
- "_build/main.aux"
|
|
|
+ "_build/main.log"
|