On 29-Oct-2014, EPTCS has published the proceedings of UITP 2014, which was a workshop at VSL 2014, Vienna, July 2014. The volume includes my contribution System description: Isabelle/jEdit in 2014. The paper has been updated to the current official release Isabelle2014 (August 2014).