placeholder for a dialog to mark PP features
only enable "Mark Features" when as single ProofEntry is selected
order menu items: "Mark features" to the top
separator for exporting
log/error methods
SWT Scala utilities from scala-ide
no-arg double-click listener
open mark features dialog on double-click
basic form-based dialog
better text location rendering
goal success icon
better icon for no-out-goals proof entries
more information displayed
only use label for intent
fixed default narrative value
do not show empty ProofInfo
some rendering of Judgement term
Array content provider that supports Scala collections
some rendering of Assumption term
compose in/out goals in proof elements (e.g. parallel or seq)