split off IsabelleTheoryViewerConfiguration to share configuration with non-editor SourceViewers (e.g. for ProverOutputPage)
pass in resource manager from editor configuration
hyperlink detection in editor configuration for now
remove IsabelleTheoryViewerConfiguration dependency on TheoryEditor, instead requiring Session and Document.Snapshot as call-by-name
ported IsabelleFileDocumentProvider to Scala;
added IsabellePartitions as a mixin trait to setup document partitioning
implicit wrapper for widget dispose listening
ResourceManager-based text colours access
expose configuration preference store
A mixin trait for SourceViewer that updates viewer font when it changes
split off TheoryViewerAnnotations to share annotations with non-editor SourceViewers (e.g. for ProverOutputPage)
customised Isabelle theory SourceViewer for standalone use (without EditorPart)
expose annotation model access
Isabelle font key
handle message markups as annotations
replaced Browser-based output in ProverOutputPage with IsabelleTheorySourceViewer - rendering output as in the editor (similarly to Isabelle/jEdit 2013)
add dispose listeners within the SessionStatusMessageArea to take care of disposal
show "Isabelle prover is not running" when not initialised in ProverOutputPage
support TRACING_MESSAGE annotations
Merge branch 'output-view' into isabelle2013