reinstate SafeSessionActor (as Scala class now) because it is used in isabelle.eclipse.ui
renamed HILITE to INTENSIFY markup annotation (as in Isabelle/jEdit)
reusable serial scheduling rule
updated main annotations creation to match changes in Isabelle2013
SWT utilities
ported TheoryAnnotations to Scala
updated to match changes in Isabelle2013
support for merging tokens in the ChainedTokenScanner
support merging text attributes for tokens
support indicating background colour for syntax classes
updated colours and syntax classes to match Isabelle2013
Merge branch 'markup' into isabelle2013