src/Pure/PIDE/isabelle_markup.scala
changeset 47884 21c42b095c84
parent 47395 e6261a493f04
child 48016 edbc8e8accd9