src/Pure/Admin/afp.scala
changeset 69982 f150253cb201
parent 69981 3dced198b9ec
child 69995 2d5c313e8582
     1.1 --- a/src/Pure/Admin/afp.scala	Mon Mar 25 17:21:26 2019 +0100
     1.2 +++ b/src/Pure/Admin/afp.scala	Mon Mar 25 19:50:52 2019 +0100
     1.3 @@ -50,6 +50,15 @@
     1.4      def maintainers: List[String] = get_strings("notify")
     1.5      def contributors: List[String] = get_strings("contributors")
     1.6      def license: String = get("license").getOrElse("BSD")
     1.7 +
     1.8 +    def rdf_meta_data: Properties.T =
     1.9 +      RDF.meta_data(
    1.10 +        proper_string(title).map(Markup.META_TITLE -> _).toList :::
    1.11 +        authors.map(Markup.META_CREATOR -> _) :::
    1.12 +        contributors.map(Markup.META_CONTRIBUTOR -> _) :::
    1.13 +        List(Markup.META_DATE -> RDF.date_format(date)) :::
    1.14 +        List(Markup.META_LICENSE -> license) :::
    1.15 +        proper_string(`abstract`).map(Markup.META_DESCRIPTION -> _).toList)
    1.16    }
    1.17  }
    1.18