--- a/model/prov-constraints.html Wed Nov 21 08:23:09 2012 +0000
+++ b/model/prov-constraints.html Wed Nov 21 08:27:46 2012 +0000
@@ -13,12 +13,25 @@
.note { font-size:small; margin-left:50px }
</style>
- <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script>
+<!-- <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script> -->
+ <script src="http://www.w3.org/Tools/respec/respec-w3c-common" class="remove" async></script>
+
<script src="http://www.w3.org/2007/OWL/toggles.js" class="remove"></script>
<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js" class="remove"></script>
<script class="remove">
+function setColoredDiffs () {
+ $('dt').each(function(index) {
+ var content=$(this).text();
+ if (content== "Previous version:") {
+ console.log( "content " + content);
+ $(this).next().append(" ").append($('<a>').attr('href','diff-c.html').append("(colored-coded diff)"));
+ }
+ })
+}
+
+
function updateRules() {
var count=1;
$('.constraint,.definition,.inference').each(function(index) {
@@ -291,7 +304,7 @@
// if your specification has a subtitle that goes below the main
// formal title, define it here
- subtitle : "<a href=\"diff-c.html\">Changes</a> since Last Call Working Draft (LC)",
+ //subtitle : "<a href=\"diff-c.html\">Changes</a> since Last Call Working Draft (LC)",
@@ -312,6 +325,11 @@
// if there a publicly available Editor's Draft, this is the link
edDraftURI: "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html",
+
+ implementationReportURI: "http://dvcs.w3.org/hg/prov/raw-file/default/reports/prov-implementations.html",
+
+ testSuiteURI: "http://dvcs.w3.org/hg/prov/raw-file/default/testcases/process.html",
+
// if this is a LCWD, uncomment and set the end of its review period
//lcEnd: "2012-10-10",
@@ -362,7 +380,7 @@
// Add extraReferences to bibliography database
preProcess: [addExtraReferences, addProvReferences],
- postProcess: [updateFigures, removeDataAttributes],
+ postProcess: [updateFigures, removeDataAttributes, setColoredDiffs],
};
</script>
</head>