Isabelle_Process: receiver as Actor -- requires Scheduler.shutdown in the end; handle_message: plain function Isabelle_Process.parse_message avoids race on process variable in the first place;

option -d: enable debugger;

modernized Isar_Document;

use Linear_Set from Isabelle/Pure.jar;

lazy fields

better performance

no busy waiting

global event buses for changes concerning commands and document edits

include scala-swing

merged

must unapply edits in reverse order

fixed some issues with multiple active buffers

clarified structure of TheoryView

improved repainting

tuned whitespace

catching NPE on val

Command and Command_State handle results from prover as Accumulator accumulating results in State; prover outputs any result

trait Accumulator; template for State accumulating results from prover

Command notifies changes

change_receiver and output_info are used before regular initialisation

TheoryView starts Prover

output_info specific to prover

proper activation with multiple buffers

state_update global in Plugin

unused

fixed special case; fixed conversion of offsets

added shortcut

generalized settings;