@inproceedings(Aspinall:TACAS:2000,
 author       = "David Aspinall",
 year         = "2000",
 title        = "{Proof General}: A Generic Tool for Proof Development",
 editor       = "Susanne Graf and Michael Schwartzbach",
 booktitle    = "European Joint Conferences on Theory and Practice of Software (ETAPS)",
 series       = "LNCS",
 volume       = "1785",
 publisher    = "Springer",
 doi          = "10.1007/3-540-46419-0\_3",
)
@inproceedings(Hupel:2014,
 author       = "Lars Hupel",
 year         = "2014",
 title        = "Interactive Simplifier Tracing and Debugging in Isabelle",
 editor       = "Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban",
 booktitle    = "Intelligent Computer Mathematics (CICM 2014)",
 series       = "LNCS",
 volume       = "8543",
 publisher    = "Springer",
 doi          = "10.1007/978-3-319-08434-3\_24",
)
@inproceedings(Lueth-Ring:2013,
 author       = "Christoph L{\"u}th and Martin Ring",
 year         = "2013",
 title        = "A Web Interface for {Isabelle}: The Next Generation",
 editor       = "Jacques Carette",
 booktitle    = "Intelligent Computer Mathematics (CICM 2013)",
 series       = "LNCS",
 volume       = "7961",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-39320-4\_22",
)
@inproceedings(Lueth-Ring:2014,
 author       = "Christoph L{\"u}th and Martin Ring",
 year         = "2014",
 title        = "Collaborative Interactive Theorem Proving with {Clide}",
 editor       = "Gerwin Klein and Ruben Gamboa",
 booktitle    = "Interactive Theorem Proving (ITP 2014)",
 series       = "LNCS",
 volume       = "8558",
 publisher    = "Springer",
 doi          = "10.1007/978-3-319-08970-6\_30",
)
@proceedings(AFP,
 editor       = "L. C. Paulson and T. Nipkow and G. Klein",
 title        = "Archive of Formal Proofs",
 note         = "\url {http://afp.sourceforge.net/}",
)
@inproceedings(Wenzel:2009,
 author       = "M. Wenzel",
 year         = "2009",
 title        = "Parallel Proof Checking in {Isabelle/Isar}",
 editor       = "G. Dos Reis and L. Th\'ery",
 booktitle    = "ACM SIGSAM Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2009)",
 publisher    = "ACM Digital Library",
)
@inproceedings(Wenzel:2011:CICM,
 author       = "M. Wenzel",
 year         = "2011",
 title        = "Isabelle as Document-oriented Proof Assistant",
 editor       = "J. H. Davenport and W. M. Farmer and F. Rabe and J. Urban",
 booktitle    = "Conference on Intelligent Computer Mathematics / Mathematical Knowledge Management (CICM/MKM 2011)",
 series       = "LNAI",
 volume       = "6824",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-22673-1\_17",
)
@inproceedings(Wenzel:2010,
 author       = "Makarius Wenzel",
 year         = "2010",
 title        = "Asynchronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}",
 editor       = "C. Sacerdoti Coen and D. Aspinall",
 booktitle    = "User Interfaces for Theorem Provers (UITP 2010)",
 series       = "ENTCS",
 doi          = "10.1016/j.entcs.2012.06.009",
)
@inproceedings(Wenzel:2012:CICM,
 author       = "Makarius Wenzel",
 year         = "2012",
 title        = "{Isabelle/jEdit} --- a {Prover IDE} within the {PIDE} framework",
 editor       = "J. Jeuring",
 booktitle    = "Conference on Intelligent Computer Mathematics (CICM 2012)",
 series       = "LNAI",
 volume       = "7362",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-31374-5\_38",
)
@manual(isabelle-jedit-manual,
 author       = "Makarius Wenzel",
 year         = "2013",
 title        = "Isabelle/jEdit",
 organization = "Part of Isabelle distribution.",
 note         = "\url {http://isabelle.in.tum.de/website-Isabelle2014/dist/Isabelle2014/doc/jedit.pdf}",
)
@inproceedings(Wenzel:2012:UITP-EPTCS,
 author       = "Makarius Wenzel",
 year         = "2013",
 title        = "{READ-EVAL-PRINT} in Parallel and Asynchronous Proof-checking",
 editor       = "Cezary Kaliszyk and Christoph L{\"u}th",
 booktitle    = "User Interfaces for Theorem Provers (UITP 2012)",
 series       = "EPTCS",
 volume       = "118",
 doi          = "10.4204/EPTCS.118.4",
)
@inproceedings(Wenzel:2013:ITP,
 author       = "Makarius Wenzel",
 year         = "2013",
 title        = "Shared-Memory Multiprocessing for Interactive Theorem Proving",
 editor       = "Sandrine Blazy and Christine Paulin-Mohring and David Pichardie",
 booktitle    = "Interactive Theorem Proving --- 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "7998",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-39634-2\_30",
)
@inproceedings(Wenzel:2014:ITP-PIDE,
 author       = "Makarius Wenzel",
 year         = "2014",
 title        = "Asynchronous User Interaction and Tool Integration in {Isabelle/PIDE}",
 editor       = "Gerwin Klein and Ruben Gamboa",
 booktitle    = "Interactive Theorem Proving --- 5th International Conference, ITP 2014, Vienna, Austria",
 series       = "Lecture Notes in Computer Science",
 volume       = "8558",
 publisher    = "Springer",
 doi          = "10.1007/978-3-319-08970-6\_33",
)