src/Pure/General/comment.ML
changeset 67571 f858fe5531ac
parent 67506 30233285270a
child 67572 a93cf1d6ba87
     1.1 --- a/src/Pure/General/comment.ML	Sat Feb 03 15:34:22 2018 +0100
     1.2 +++ b/src/Pure/General/comment.ML	Sat Feb 03 20:34:26 2018 +0100
     1.3 @@ -8,6 +8,7 @@
     1.4  sig
     1.5    datatype kind = Comment | Cancel | Latex
     1.6    val markups: kind -> Markup.T list
     1.7 +  val is_symbol: Symbol.symbol -> bool
     1.8    val scan_comment: (kind * Symbol_Pos.T list) scanner
     1.9    val scan_cancel: (kind * Symbol_Pos.T list) scanner
    1.10    val scan_latex: (kind * Symbol_Pos.T list) scanner