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