src/Pure/General/rdf.scala
Tue, 05 Mar 2019 18:44:02 +0100 wenzelm tuned;
Tue, 05 Mar 2019 11:52:20 +0100 wenzelm afford redundant whitespace for improved readability;
Sun, 03 Mar 2019 19:30:17 +0100 wenzelm concrete predicates from "Dublin Core";
Thu, 14 Feb 2019 22:19:06 +0100 wenzelm more operations;
Thu, 14 Feb 2019 16:25:12 +0100 wenzelm more operations;
Thu, 14 Feb 2019 15:46:38 +0100 wenzelm support for RDF/XML representation;
less more (0) tip