Isabelle/jEdit --- a Prover IDE within the PIDE framework

Makarius Wenzel

PIDE is a general framework for document-oriented prover interaction and integration, based on a bilingual architecture that combines ML and Scala. The overall aim is to connect LC…