I have a theorem with a long proof. The proof is so long that it's formed from several separate LaTeX files, each of which I need to be able to work on independently. The way I usually do this is with the docmute package, which allows each subfile to have its own headers so it can be worked on as a stand-alone document, but then ignores the headers and the \begin{document} and \end{document} commands when \inputing the subfile into the main document.

However, this doesn't seem to work inside a proof environment. Here's the MWE. First, the main file:

Here is my important proof.

Now the subfile called proof.tex:

Hello, world!

The error message:

LaTeX Error: \begin{proof} on input line 8 ended by \end{document}

Suggestions welcome!

  • It works in my computer. I use TeXLive 2011. Dec 13, 2011 at 11:41

1 Answer 1


Your MWE works for me with the current version 1.2 of docmute (it fails with the older version 1.1). Maybe updating the package is all you need.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.