Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/outer_syntax.scala
changeset 62453 b93cc7d73431
parent 62244 5d513565749e
child 63424 e4e15bbfb3e2 
--- a/src/Pure/Isar/outer_syntax.scala	Sun Feb 28 15:57:03 2016 +0100
+++ b/src/Pure/Isar/outer_syntax.scala	Sun Feb 28 17:37:20 2016 +0100
@@ -237,7 +237,7 @@
     val name = command.span.name
     name match {
       case Thy_Header.CHAPTER => Some(0)
-      case Thy_Header.SECTION | Thy_Header.HEADER => Some(1)
+      case Thy_Header.SECTION => Some(1)
       case Thy_Header.SUBSECTION => Some(2)
       case Thy_Header.SUBSUBSECTION => Some(3)
       case Thy_Header.PARAGRAPH => Some(4)
isabelle