made derivations independent of agents
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 08 May 2012 09:42:16 +0100
changeset 2726 a54b6ecaad44
parent 2725 d4a2daa19f85
child 2727 667cf830a401
made derivations independent of agents
model/prov-dm.html
--- a/model/prov-dm.html	Tue May 08 09:39:51 2012 +0100
+++ b/model/prov-dm.html	Tue May 08 09:42:16 2012 +0100
@@ -111,7 +111,7 @@
  
           // if your specification has a subtitle that goes below the main
           // formal title, define it here
-      subtitle   :  "working towards WD6",
+      subtitle   :  "working towards WD6 (<a href=\"diff.html\">Diffs since last release</a>)",
 
  
           // if you wish the publication date to be other than today, set this