src/Tools/Haskell/Markup.hs

 {-  Title:      Haskell/Tools/Markup.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
 Quasi-abstract markup elements.
+
+See also "$ISABELLE_HOME/src/Pure/PIDE/markup.ML".
 -}
 
 module Isabelle.Markup (
   T, empty, is_empty, properties,