I propose to integrate Isabelle's documentation and the document generation process into Isabelle/jEdit Prover IDE. It will be possible to display the documentation and the documents generated from a source in the IDE with their rich meta-data and links. Further, if there will be enough time, I plan to enhance Isabelle/jEdit Prover IDE with better prover content visualization, source file templates, code templates and completion, automatic indentation, ...