--- a/semantics/prov-sem.html	Fri Apr 05 17:21:40 2013 +0100
+++ b/semantics/prov-sem.html	Fri Apr 05 17:36:29 2013 +0100
@@ -946,7 +946,8 @@
           // only "name" is required. Same format as editors.
  
 //authors:  [] ,
-         
+
+          alternateFormats: [{uri:"prov-sem.pdf",label:"PDF"}],
           // name of the WG
           wg:           "Provenance Working Group",
           

--- a/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 05 17:21:40 2013 +0100
+++ b/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 05 17:36:29 2013 +0100
@@ -776,6 +776,13 @@
   </dl>
   
   
+    <p>
+      
+        This document is also available in this non-normative format: 
+      
+      <a rel="alternate" href="prov-sem.pdf">PDF</a>
+    </p>
+  
   
   
     

Binary file semantics/releases/NOTE-prov-sem-20130430/prov-sem.pdf has changed