Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Tue, 16 Jan 2018 09:08:06 +0100
changeset 67441 cafbb63f10e5
parent 67440 e5ba0ca1e465
child 67442 f075640b8868
tuned signature;
src/Pure/Isar/token.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle