changeset 56743 | 81370dfadb1d |
parent 56733 | f7700146678d |
child 56864 | 0446c7ac2e32 |
--- a/src/Pure/PIDE/markup.ML Sat Apr 26 06:43:06 2014 +0200 +++ b/src/Pure/PIDE/markup.ML Sat Apr 26 13:07:20 2014 +0200 @@ -1,7 +1,7 @@ (* Title: Pure/PIDE/markup.ML Author: Makarius -Isabelle-specific implementation of quasi-abstract markup elements. +Quasi-abstract markup elements. *) signature MARKUP =