--- a/semantics/prov-sem.html	Fri Apr 12 17:47:34 2013 +0100
+++ b/semantics/prov-sem.html	Fri Apr 12 17:55:06 2013 +0100
@@ -943,7 +943,7 @@
           // only "name" is required
           editors:  [
               { name: "James Cheney", url:
-          "http://homepages.inf.ed.ac.uk/jcheney", company:
+          "http://homepages.inf.ed.ac.uk/jcheney/", company:
           "University of Edinburgh" },
          ],
  
@@ -4417,7 +4417,7 @@
       Bussche, and Joachim Van
       Herwegen for detailed feedback.</p>
 <p>
-We would also like to acknowledge <a href="http://www.dagstuhl.de">Schloss Dagstuhl - Leibniz Center for Informatics</a>, because significant progress was made on this document at  <a href="http://www.dagstuhl.de/12091">Dagstuhl Seminar 12091 (Principles of Provenance)</a> that took place from February 26 to March 2, 2012.
+We would also like to acknowledge <a href="http://www.dagstuhl.de">Schloss Dagstuhl - Leibniz Center for Informatics</a>, because significant progress was made on this document at  <a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12091">Dagstuhl Seminar 12091 (Principles of Provenance)</a> that took place from February 26 to March 2, 2012.
       </p>
 
 <p>Thanks also to Robin Berjon for the ReSPec.js specification writing

--- a/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 12 17:47:34 2013 +0100
+++ b/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 12 17:55:06 2013 +0100
@@ -773,7 +773,7 @@
     
     
     <dt>Editor:</dt>
-    <dd><a href="http://homepages.inf.ed.ac.uk/jcheney">James Cheney</a>, University of Edinburgh</dd>
+    <dd><a href="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</a>, University of Edinburgh</dd>
 
     
   </dl>
@@ -803,9 +803,8 @@
       </p>
     
   
-  <hr>
 </div><div id="MathJax_Message" style="display: none; "></div> 
-
+<hr />
     <section id="abstract" class="introductory"><h2>Abstract</h2>
 <p>
 Provenance is information about entities, activities, and people
@@ -4283,7 +4282,7 @@
       Bussche, and Joachim Van
       Herwegen for detailed feedback.</p>
 <p>
-We would also like to acknowledge <a href="http://www.dagstuhl.de">Schloss Dagstuhl - Leibniz Center for Informatics</a>, because significant progress was made on this document at  <a href="http://www.dagstuhl.de/12091">Dagstuhl Seminar 12091 (Principles of Provenance)</a> that took place from February 26 to March 2, 2012.
+We would also like to acknowledge <a href="http://www.dagstuhl.de">Schloss Dagstuhl - Leibniz Center for Informatics</a>, because significant progress was made on this document at  <a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12091">Dagstuhl Seminar 12091 (Principles of Provenance)</a> that took place from February 26 to March 2, 2012.
       </p>
 
 <p>Thanks also to Robin Berjon for the ReSPec.js specification writing

--- a/semantics/review/final-luc.txt	Fri Apr 12 17:47:34 2013 +0100
+++ b/semantics/review/final-luc.txt	Fri Apr 12 17:55:06 2013 +0100
@@ -6,7 +6,7 @@
  > - sotd paragraph: add the paragraph about feedback and errata.
  > 
 
-TODO
+Done
 
  > - section 1: paragraph 1: definition of provenance: cite prov-dm.
  > 
@@ -58,7 +58,7 @@
  > - section 4.3.2. How is \rho(st) defined?  what it 'st' is a constant
  >  or an identifier?
 
-"st" is an ordinary parameter, i.e. either a time value constant or an identifier denoting an unknown time.  TODO
+"st" is an ordinary parameter, i.e. either a time value constant or an identifier denoting an unknown time.  
 
  > 
  > - section 6.2: for the reader, can you make explicit why this is "WEAK completness".