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: avoid problems with scala3;
authorwenzelm
Thu, 31 Mar 2022 21:48:08 +0200
changeset 75379 4f6a6ba7387d
parent 75378 14154ac511ba
child 75380 2cb2606ce075
tuned: avoid problems with scala3;
src/Pure/Thy/presentation.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/presentation.scala	Wed Mar 30 16:18:25 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Thu Mar 31 21:48:08 2022 +0200
@@ -210,7 +210,7 @@
   /* HTML output */
 
   private val div_elements =
-    Set(HTML.div.name, HTML.pre.name, HTML.par.name, HTML.list.name, HTML.enum.name,
+    Set(HTML.div.name, HTML.pre.name, HTML.par.name, HTML.list.name, HTML.`enum`.name,
       HTML.descr.name)
 
   def make_html(
@@ -261,7 +261,7 @@
           (Nil, end_offset - XML.symbol_length(text))
         case XML.Elem(Markup.Markdown_List(kind), body) =>
           val (body1, offset) = html_body(body, end_offset)
-          if (kind == Markup.ENUMERATE) (List(HTML.enum(body1)), offset)
+          if (kind == Markup.ENUMERATE) (List(HTML.`enum`(body1)), offset)
           else (List(HTML.list(body1)), offset)
         case XML.Elem(markup, body) =>
           val name = markup.name
isabelle