src/Pure/PIDE/rendering.scala

--- a/src/Pure/PIDE/rendering.scala	Fri Mar 15 22:02:05 2019 +0100
+++ b/src/Pure/PIDE/rendering.scala	Sun Mar 17 20:03:55 2019 +0100
@@ -210,7 +210,7 @@
 
   val meta_data_elements =
     Markup.Elements(Markup.META_TITLE, Markup.META_CREATOR, Markup.META_CONTRIBUTOR,
-      Markup.META_DATE, Markup.META_DESCRIPTION)
+      Markup.META_DATE, Markup.META_DESCRIPTION, Markup.META_LICENSE)
 
   val markdown_elements =
     Markup.Elements(Markup.MARKDOWN_PARAGRAPH, Markup.MARKDOWN_ITEM, Markup.Markdown_List.name,