#TeXlipse project settings #Mon Oct 21 22:46:19 CEST 2013 markTmpDer=true builderNum=2 outputDir= makeIndSty= bibrefDir= outputFormat=pdf tempDir=tmp mainTexFile=document.tex outputFile=document.pdf langSpell=de markDer=true srcDir=