title: Document preparation in Isabelle
body: <p>I want to use <code>isabelle build -D xxx</code> to produce a LaTeX <code>.tex</code> file out of an Isabelle <code>.thy</code> file. 
  But Isabelle checks all the theory dependencies, and all the related <code>.thy</code> files must be involved.</p>
  
  <p>Is it possible that I casually use a <code>.thy</code> file that has syntax errors to produce a <code>.tex</code> file?  In fact I only need a part of it to write a paper.</p>