# HG changeset patch
# User wenzelm
# Date 1516090086 -3600
# Node ID cafbb63f10e57d42898e6f7802c09b3d9c7eeb11
# Parent  e5ba0ca1e465e9563f0b95eacabc0279658cc4ae
tuned signature;

diff -r e5ba0ca1e465 -r cafbb63f10e5 src/Pure/Isar/token.scala
--- a/src/Pure/Isar/token.scala	Mon Jan 15 23:03:01 2018 +0100
+++ b/src/Pure/Isar/token.scala	Tue Jan 16 09:08:06 2018 +0100
@@ -294,7 +294,9 @@
     kind == Token.Kind.TYPE_VAR
   def is_text: Boolean = is_embedded || kind == Token.Kind.VERBATIM
   def is_space: Boolean = kind == Token.Kind.SPACE
-  def is_comment: Boolean = kind == Token.Kind.INFORMAL_COMMENT || kind == Token.Kind.FORMAL_COMMENT
+  def is_informal_comment: Boolean = kind == Token.Kind.INFORMAL_COMMENT
+  def is_formal_comment: Boolean = kind == Token.Kind.FORMAL_COMMENT
+  def is_comment: Boolean = is_informal_comment || is_formal_comment
   def is_improper: Boolean = is_space || is_comment
   def is_proper: Boolean = !is_space && !is_comment
   def is_error: Boolean = kind == Token.Kind.ERROR