src/Tools/jEdit/src/isabelle_rendering.scala
2011-12-01 ago clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
2011-11-29 ago clarified modules;
2011-11-28 ago separate module for concrete Isabelle markup;
2011-11-28 ago renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;