--- a/model/diff-n.html Sat Nov 24 23:11:33 2012 +0000
+++ b/model/diff-n.html Sat Nov 24 23:30:11 2012 +0000
@@ -8,14 +8,12 @@
.tagDelete { background-color: #770000; color: #ffffff }
--></style>
- <title>PROV-N: The Provenance Notation</title>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-
-
- <style type="text/css">
-
-<span class="insert">
- .note { font-size:small; margin-left:50px }
+
+<title>PROV-N: The Provenance Notation</title>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+
+<style type="text/css"><span class="insert">
+.note { font-size:small; margin-left:50px }
table.thinborder {
border-width: 1px;
border-spacing: 0px;
@@ -35,17 +33,14 @@
border-style: solid;
border-color: gray;
}
-
</span></style>
-
-
-
+
@@ -53,6 +48,7 @@
+
@@ -65,9 +61,12 @@
*****************************************************************/
-</span>/* --- <span class="delete">EDITORIAL NOTES</span><span class="insert">INLINES</span> --- */
-<span class="delete">.pending</span><span class="insert">em.rfc2119</span> {<span class="insert">
- text-transform: lowercase;
+/* --- INLINES --- */
+em.rfc2119 {</span>
+
+
+
+ <span class="insert">text-transform: lowercase;
font-variant: small-caps;
font-style: normal;
color: #900;
@@ -96,175 +95,14 @@
a.bibref {
text-decoration: none;
-}
-
-/* code {
+}</span>
+
+/* <span class="insert">code {
color: #ff4500;
}
*/
-/* --- WEB IDL --- */
-pre.idl {
- border-top: 1px solid #90b8de;
- border-bottom: 1px solid #90b8de;</span>
- padding: 1em;
- <span class="insert">line-height: 120%;
-}
-
-pre.idl::before {
- content: "WebIDL";
- display: block;
- width: 150px;
- background: #90b8de;
- color: #fff;
- font-family: initial;
- padding: 3px;
- font-weight: bold;
- margin: -1em 0 1em -1em;
-}
-
-.idlType {
- color: #ff4500;
- font-weight: bold;
- text-decoration: none;
-}
-
-/*.idlModule*/
-/*.idlModuleID*/
-/*.idlInterface*/
-.idlInterfaceID, .idlDictionaryID {
- font-weight: bold;
- color: #005a9c;
-}
-
-.idlSuperclass {
- font-style: italic;
- color: #005a9c;
-}
-
-/*.idlAttribute*/
-.idlAttrType, .idlFieldType, .idlMemberType {
- color: #005a9c;
-}
-.idlAttrName, .idlFieldName, .idlMemberName {
- color: #ff4500;
-}
-.idlAttrName a, .idlFieldName a, .idlMemberName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlMethod*/
-.idlMethType {
- color: #005a9c;
-}
-.idlMethName {
- color: #ff4500;
-}
-.idlMethName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlParam*/
-.idlParamType {
- color: #005a9c;
-}
-.idlParamName {
- font-style: italic;
-}
-
-.extAttr {
- color: #666;
-}
-
-/*.idlConst*/
-.idlConstType {
- color: #005a9c;
-}
-.idlConstName {
- color: #ff4500;
-}
-.idlConstName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlException*/
-.idlExceptionID {
- font-weight: bold;
- color: #c00;
-}
-
-.idlTypedefID, .idlTypedefType {
- color: #005a9c;
-}
-
-.idlRaises, .idlRaises a.idlType, .idlRaises a.idlType code, .excName a, .excName a code {
- color: #c00;
- font-weight: normal;
-}
-
-.excName a {
- font-family: monospace;
-}
-
-.idlRaises a.idlType, .excName a.idlType {
- border-bottom: 1px dotted #c00;
-}
-
-.excGetSetTrue, .excGetSetFalse, .prmNullTrue, .prmNullFalse, .prmOptTrue, .prmOptFalse {
- width: 45px;
- text-align: center;
-}
-.excGetSetTrue, .prmNullTrue, .prmOptTrue { color: #0c0; }
-.excGetSetFalse, .prmNullFalse, .prmOptFalse { color: #c00; }
-
-.idlImplements a {
- font-weight: bold;
-}
-
-dl.attributes, dl.methods, dl.constants, dl.fields, dl.dictionary-members {
- margin-left: 2em;
-}
-
-.attributes dt, .methods dt, .constants dt, .fields dt, .dictionary-members dt {
- font-weight: normal;
-}
-
-.attributes dt code, .methods dt code, .constants dt code, .fields dt code, .dictionary-members dt code {
- font-weight: bold;
- color: #000;
- font-family: monospace;
-}
-
-.attributes dt code, .fields dt code, .dictionary-members dt code {
- background: #ffffd2;
-}
-
-.attributes dt .idlAttrType code, .fields dt .idlFieldType code, .dictionary-members dt .idlMemberType code {
- color: #005a9c;
- background: transparent;
- font-family: inherit;
- font-weight: normal;
- font-style: italic;
-}
-
-.methods dt code {
- background: #d9e6f8;
-}
-
-.constants dt code {
- background: #ddffd2;
-}
-
-.attributes dd, .methods dd, .constants dd, .fields dd, .dictionary-members dd {
- margin-bottom: 1em;
-}
table.parameters, table.exceptions {
border-spacing: 0;
@@ -310,17 +148,8 @@
width: 100%;
}
-/* --- TOC --- */
-.toc a {
- text-decoration: none;
-}
-
-a .secno {
- color: #000;
-}
-
-/* --- TABLE --- */
-table.simple {
+/* </span>--- <span class="delete">EDITORIAL NOTES</span><span class="insert">TABLE</span> --- */
+<span class="delete">.pending</span><span class="insert">table.simple</span> {<span class="insert">
border-spacing: 0;
border-collapse: collapse;
border-bottom: 3px solid #005a9c;
@@ -348,29 +177,13 @@
background: #f0f6ff;
}
-/* --- DL --- */
-.section dd > p:first-child {
- margin-top: 0;
-}
-
-.section dd > p:last-child {
- margin-bottom: 0;
-}
-
-.section dd {
- margin-bottom: 1em;
-}
-
-.section dl.attrs dd, .section dl.eldef dd {
- margin-bottom: 0;
-}
/* --- EXAMPLES --- */
pre.example {
border-top: 1px solid #ff4500;
- border-bottom: 1px solid #ff4500;
+ border-bottom: 1px solid #ff4500;</span>
padding: 1em;
- margin-top: 1em;
+ <span class="insert">margin-top: 1em;
}
pre.example::before {
@@ -385,67 +198,6 @@
margin: -1em 0 1em -1em;
}
-/* --- EDITORIAL NOTES --- */
-.issue {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #ffc;
-}
-
-.issue::before {
- content: "Issue";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-.note {
- margin: 1em 0em 0em;
- padding: 1em;
- border: 2px solid #cff6d9;
- background: #e2fff0;
-}
-
-.note::before {
- content: "Note";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #cff6d9;
- background: #fff;
- padding: 3px 1em;
-}
-
-/* --- Best Practices --- */
-div.practice {
- border: solid #bebebe 1px;
- margin: 2em 1em 1em 2em;
-}
-
-span.practicelab {
- margin: 1.5em 0.5em 1em 1em;
- font-weight: bold;
- font-style: italic;
-}
-
-span.practicelab { background: #dfffff; }
-
-span.practicelab {
- position: relative;
- padding: 0 0.5em;
- top: -1.5em;
-}
-
-p.practicedesc {
- margin: 1.5em 0.5em 1em 1em;
-}
-
@media screen {
p.practicedesc {
position: relative;
@@ -454,75 +206,6 @@
margin: 1.5em 0.5em -1em 1em;
}
}
-
-/* --- SYNTAX HIGHLIGHTING --- */
-pre.sh_sourceCode {
- background-color: white;
- color: black;
- font-style: normal;
- font-weight: normal;
-}
-
-pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; } /* language keywords */
-pre.sh_sourceCode .sh_type { color: #666; } /* basic types */
-pre.sh_sourceCode .sh_usertype { color: teal; } /* user defined types */
-pre.sh_sourceCode .sh_string { color: red; font-family: monospace; } /* strings and chars */
-pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; } /* regular expressions */
-pre.sh_sourceCode .sh_specialchar { color: #ffc0cb; font-family: monospace; } /* e.g., \n, \t, \\ */
-pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; } /* comments */
-pre.sh_sourceCode .sh_number { color: purple; } /* literal numbers */
-pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; } /* e.g., #include, import */
-pre.sh_sourceCode .sh_symbol { color: blue; } /* e.g., *, + */
-pre.sh_sourceCode .sh_function { color: black; font-weight: bold; } /* function calls and declarations */
-pre.sh_sourceCode .sh_cbracket { color: red; } /* block brackets (e.g., {, }) */
-pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; } /* TODO and FIXME */
-
-/* Predefined variables and functions (for instance glsl) */
-pre.sh_sourceCode .sh_predef_var { color: #00008B; }
-pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
-
-/* for OOP */
-pre.sh_sourceCode .sh_classname { color: teal; }
-
-/* line numbers (not yet implemented) */
-pre.sh_sourceCode .sh_linenum { display: none; }
-
-/* Internet related */
-pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
-
-/* for ChangeLog and Log files */
-pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
-pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
-pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
-
-/* for Prolog, Perl... */
-pre.sh_sourceCode .sh_variable { color: #006400; }
-
-/* for LaTeX */
-pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
-pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
-pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
-pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
-pre.sh_sourceCode .sh_argument { color: #006400; }
-pre.sh_sourceCode .sh_optionalargument { color: purple; }
-pre.sh_sourceCode .sh_math { color: orange; }
-pre.sh_sourceCode .sh_bibtex { color: blue; }
-
-/* for diffs */
-pre.sh_sourceCode .sh_oldfile { color: orange; }
-pre.sh_sourceCode .sh_newfile { color: #006400; }
-pre.sh_sourceCode .sh_difflines { color: blue; }
-
-/* for css */
-pre.sh_sourceCode .sh_selector { color: purple; }
-pre.sh_sourceCode .sh_property { color: blue; }
-pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
-
-/* other */
-pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
-pre.sh_sourceCode .sh_paren { color: red; }
-pre.sh_sourceCode .sh_attribute { color: #006400; }
-
</span></style>
<style type="text/css"><span class="insert">
/* --- EDITORIAL NOTES --- */
@@ -569,22 +252,17 @@
}
-.inference<span class="insert"> {
+.inference {
padding: 1em;
margin: 1em 0em 0em;
border: 1px solid #f00;
background: #fff;
-}
-
-
-.inference-example</span> {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #fff;
-}
-
-/* .inference[id]::before { */
+}<span class="delete">
+
+/* .inference[id]::before</span><span class="insert">
+
+
+.inference-example</span> {<span class="delete"> */
/* content: "Inference: " attr(id); */
/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
/* } */
@@ -598,8 +276,13 @@
/* font-weight: bold; */
/* border: 1px solid #f00; */
/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
+/* </span>
+ padding: <span class="delete">3px </span>1em;<span class="delete"> */
+/* </span><span class="insert">
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+</span>}<span class="delete"> */</span>
.syntax {
padding: 1em;
@@ -653,14 +336,7 @@
background: #fff;
}
-<span class="insert">.constraint-example {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #00f;
- background: #fff;
-}
-
-</span>/* .constraint[id]::before { */
+<span class="delete">/* .constraint[id]::before</span><span class="insert">.constraint-example</span> {<span class="delete"> */
/* content: "Constraint: " attr(id); */
/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
/* } */
@@ -674,9 +350,17 @@
/* font-weight: bold; */
/* border: 1px solid #00f; */
/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
+/* </span>
+ padding: <span class="delete">3px </span>1em;<span class="delete"> */
+/* </span><span class="insert">
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+</span>}<span class="delete"> */
+
+
+
+</span>
.interpretation {
@@ -710,14 +394,7 @@
background: #fff;
}
-<span class="insert">.definition-example {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #777;
- background: #fff;
-}
-
-</span>/* .definition[id]::before { */
+<span class="delete">/* .definition[id]::before</span><span class="insert">.definition-example</span> {<span class="delete"> */
/* content: "Definition: " attr(id); */
/* width: 380px; */
/* } */
@@ -731,9 +408,16 @@
/* font-weight: bold; */
/* border: 1px solid #000; */
/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
+/* </span>
+ padding: <span class="delete">3px </span>1em;<span class="delete"> */
+/* </span><span class="insert">
+ margin: 1em 0em 0em;
+ border: 1px solid #777;
+ background: #fff;
+</span>}<span class="delete"> */
+
+
+</span>
.deprecatedconstraint {
padding: 1em;
@@ -821,7 +505,7 @@
padding: 3px 1em;
}
-/*
+<span class="delete">/*
.anexample[count]::before {
content: "Example " attr(count) ;
font-family: sans-serif;
@@ -838,7 +522,7 @@
*/
-.anexample {
+</span>.anexample {
margin-top: 1ex;
margin-bottom: 1ex;
padding-left: 1ex;
@@ -1607,7 +1291,7 @@
<dt><span class="insert">Previous version:</span></dt>
- <dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120724/">http://www.w3.org/TR/2012/WD-prov-n-20120724/</a> <a href="diff-n.html"><span class="insert">(colored-coded diff)</span></a></dd><span class="delete">Latest published version:</span><span class="delete">http://www.w3.org/TR/prov-n/</span><span class="delete">Latest editor's draft:</span><span class="delete">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</span><span class="delete">Previous version:</span><span class="delete">http://www.w3.org/TR/2012/WD-prov-n-20120503/</span><span class="delete"> (</span><span class="delete">color-coded diffs</span><span class="delete">)</span>
+ <dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120724/">http://www.w3.org/TR/2012/WD-prov-n-20120724/</a> <a href="diff.html"><span class="insert">(colored-coded diff)</span></a></dd><span class="delete">Latest published version:</span><span class="delete">http://www.w3.org/TR/prov-n/</span><span class="delete">Latest editor's draft:</span><span class="delete">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</span><span class="delete">Previous version:</span><span class="delete">http://www.w3.org/TR/2012/WD-prov-n-20120503/</span><span class="delete"> (</span><span class="delete">color-coded diffs</span><span class="delete">)</span>
<dt>Editors:</dt>
--- a/model/diff.html Sat Nov 24 23:11:33 2012 +0000
+++ b/model/diff.html Sat Nov 24 23:30:11 2012 +0000
@@ -27,7 +27,45 @@
+
<script type="text/javascript">
+/*
+ Written by Jonathan Snook, http://www.snook.ca/jonathan
+ Add-ons by Robert Nyman, http://www.robertnyman.com
+ Author says "The credit comment is all it takes, no license. Go crazy "
+ From http://www.robertnyman.com/2005/11/07/the-ultimate-getelementsbyclassname/
+*/
+
+function getElementsByClassName(oElm, strTagName, oClassNames){
+ var arrElements = (! (! (strTagName == "*") || ! (oElm.all)))? oElm.all : oElm.getElementsByTagName(strTagName);
+ var arrReturnElements = new Array();
+ var arrRegExpClassNames = new Array();
+ if(typeof oClassNames == "object"){
+ for(var i=0; !(i>=oClassNames.length); i++){ /*>*/
+ arrRegExpClassNames.push(new RegExp("(^|\s)" + oClassNames[i].replace(/\-/g, "\-") + "(\s|$)"));
+ }
+ }
+ else{
+ arrRegExpClassNames.push(new RegExp("(^|\s)" + oClassNames.replace(/\-/g, "\-") + "(\s|$)"));
+ }
+ var oElement;
+ var bMatchesAll;
+ for(var j=0; !(j>=arrElements.length); j++){ /*>*/
+ oElement = arrElements[j];
+ bMatchesAll = true;
+ for(var k=0; !(k>=arrRegExpClassNames.length); k++){ /*>*/
+ if(!arrRegExpClassNames[k].test(oElement.className)){
+ bMatchesAll = false;
+ break;
+ }
+ }
+ if(bMatchesAll){
+ arrReturnElements.push(oElement);
+ }
+ }
+ return (arrReturnElements)
+}
+
function set_display_by_class(el, cls, newValue) {
var e = getElementsByClassName(document, el, cls);
if (e != null) {
--- a/model/prov-magic.js Sat Nov 24 23:11:33 2012 +0000
+++ b/model/prov-magic.js Sat Nov 24 23:30:11 2012 +0000
@@ -114,6 +114,27 @@
});
}
+/* Similar function for prov-n, but no diamond, just a link */
+function updateExamplesWithLinks() {
+ var count=1;
+ $('.anexample').each(function(index) {
+
+ var myid=$(this).attr('id');
+ var mycount=count++;
+
+ if (myid==undefined) {
+ myid='example_' + mycount;
+ $(this).attr('id',myid);
+ }
+
+
+ $(this).attr('data-count', mycount).prepend($('<div>').addClass('anexampleTitle')
+ .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append("Example " + mycount)));
+
+ //console.log( "example for " + myid + " " + mycount);
+
+ });
+}
function updateDfn() {
var count=1;
@@ -180,3 +201,28 @@
});
}
+function insertProductionDefinition(doc, content, name) {
+
+ var xml=$.parseXML(content);
+
+ var segment = $(xml).find('a[name~="' + name + '"]').parents("tbody")[0];
+
+// return doc._esc((new XMLSerializer()).serializeToString(segment));
+ return (new XMLSerializer()).serializeToString(segment);
+}
+
+function insertProductionGeneration(doc, content) { return insertProductionDefinition(doc,content,'prod-prov_n_LL-generationExpression'); }
+
+ function updateGrammarRefs() {
+ $('.grammar-ref').each(function(index) {
+ var ref=$(this).attr('data-ref');
+ console.log( "updating grammar for " + ref);
+// $('#'+ref).parents("tbody").clone().appendTo($(this));
+
+
+ // $(this).replaceWith(function() {return $('#'+ref).parents("tbody").clone()});
+
+ $(this).replaceWith($('#'+ref).parents("tbody").clone());
+
+ });
+ }
--- a/model/prov-n.html Sat Nov 24 23:11:33 2012 +0000
+++ b/model/prov-n.html Sat Nov 24 23:30:11 2012 +0000
@@ -1,16 +1,12 @@
<!DOCTYPE html>
-<html><head>
- <title>PROV-N: The Provenance Notation</title>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
- <!--
- === NOTA BENE ===
- For the three scripts below, if your spec resides on dev.w3 you can check them
- out in the same tree and use relative links so that they'll work offline,
- -->
-<!-- PM -->
- <style type="text/css">
- .note { font-size:small; margin-left:50px }
+<html>
+<head>
+<title>PROV-N: The Provenance Notation</title>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+
+<style type="text/css">
+.note { font-size:small; margin-left:50px }
table.thinborder {
border-width: 1px;
border-spacing: 0px;
@@ -30,54 +26,21 @@
border-style: solid;
border-color: gray;
}
-
</style>
<script src="grammar/ll.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 setContributors () {
- $('dt').each(function(index) {
- var content=$(this).text();
- if (content== "Authors:") {
- console.log( "content " + content);
- $(this).text("Contributors:")
- }
- })
-}
-
-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-n.html').append("(colored-coded diff)"));
- }
- })
-}
-
-function insertProductionDefinition(doc, content, name) {
-
- var xml=$.parseXML(content);
-
- var segment = $(xml).find('a[name~="' + name + '"]').parents("tbody")[0];
-
-// return doc._esc((new XMLSerializer()).serializeToString(segment));
- return (new XMLSerializer()).serializeToString(segment);
-}
-
-function insertProductionGeneration(doc, content) { return insertProductionDefinition(doc,content,'prod-prov_n_LL-generationExpression'); }
-
- </script>
+
+ <script src="prov-magic.js" class="remove"></script>
<script src="provbib.js" class="remove"></script>
+<!--
<script class="remove">
function updateGlossaryRefs() {
$('.glossary-ref').each(function(index) {
@@ -87,80 +50,16 @@
});
}
$(document).ready(updateGlossaryRefs);
- function glossary_include(doc, content) {
- window.setTimeout(updateGlossaryRefs, 1000);
- return content;
- }
</script>
-
+-->
<script class="remove">
- function updateGrammarRefs() {
- $('.grammar-ref').each(function(index) {
- var ref=$(this).attr('data-ref');
- console.log( "updating grammar for " + ref);
-// $('#'+ref).parents("tbody").clone().appendTo($(this));
-
-
- // $(this).replaceWith(function() {return $('#'+ref).parents("tbody").clone()});
-
- $(this).replaceWith($('#'+ref).parents("tbody").clone());
-
- });
- }
-
- function updateExamples() {
- var count=1;
- $('.anexample').each(function(index) {
-
- var myid=$(this).attr('id');
- var mycount=count++;
-
- if (myid==undefined) {
- myid='example_' + mycount;
- $(this).attr('id',myid);
- }
-
-
- $(this).attr('data-count', mycount).prepend($('<div>').addClass('anexampleTitle')
- .append($('<a>').addClass('internalDFN').attr('href','#'+myid).append("Example " + mycount)));
-
- //console.log( "example for " + myid + " " + mycount);
-
- });
- }
-
-
- function updateExamplesRefs() {
- $('.anexample-ref').each(function(index) {
-
- myhref=$(this).attr('href');
-
- //console.log( "example ref for " + myhref);
-
- mycount=$(myhref).attr('data-count');
-
- //console.log( "example ref for " + myhref + " " + mycount);
-
- $(this).children('span').replaceWith(function(){return $('<span>').append("Example " + mycount)});
-
- });
-
- $('.anexample').each(function(index) {
- $(this).removeAttr('data-count');
- });
-
- }
-
-
-
-
$(document).ready(function(){
// if grammar is in a string:
$('#grammar_div').html(grammar_string);
console.log( "updating grammar entries");
updateGrammarRefs();
- updateExamples();
+ updateExamplesWithLinks();
updateExamplesRefs();
if (typeof String.prototype.startsWith != 'function') {
@@ -184,25 +83,6 @@
berjon.biblio[k] = extraReferences[k];
};
var extraReferences = {
- "CLOCK":
- "Lamport, L. "+
- "<a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
- "Communications of the ACM 21 (7): 558–565. 1978. "+
- "URL: <a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
- "DOI: doi:10.1145/359545.359563.",
- "CSP":
- "Hoare, C. A. R. "+
- "<a href=\"http://www.usingcsp.com/cspbook.pdf\"><cite>Communicating Sequential Processes</cite></a>."+
- "Prentice-Hall. 1985"+
- "URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
- "Logic":
- "W. E. Johnson"+
- "<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
- "1924. "+
- "URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",
-
-
-
"PROV-RDF":
"James Cheney "+
"<a href=\"http://www.w3.org/2011/prov/wiki/ProvRDF\"><cite>PROV-RDF Mapping </cite></a>"+
@@ -220,6 +100,7 @@
" 4 August 2010. " +
"URL: <a href=\"http://www.unicode.org/reports/tr36/\">http://www.unicode.org/reports/tr36/</a>",
};
+
var respecConfig = {
// specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
specStatus: "CR",
@@ -348,167 +229,6 @@
*/
-/* --- WEB IDL --- */
-pre.idl {
- border-top: 1px solid #90b8de;
- border-bottom: 1px solid #90b8de;
- padding: 1em;
- line-height: 120%;
-}
-
-pre.idl::before {
- content: "WebIDL";
- display: block;
- width: 150px;
- background: #90b8de;
- color: #fff;
- font-family: initial;
- padding: 3px;
- font-weight: bold;
- margin: -1em 0 1em -1em;
-}
-
-.idlType {
- color: #ff4500;
- font-weight: bold;
- text-decoration: none;
-}
-
-/*.idlModule*/
-/*.idlModuleID*/
-/*.idlInterface*/
-.idlInterfaceID, .idlDictionaryID {
- font-weight: bold;
- color: #005a9c;
-}
-
-.idlSuperclass {
- font-style: italic;
- color: #005a9c;
-}
-
-/*.idlAttribute*/
-.idlAttrType, .idlFieldType, .idlMemberType {
- color: #005a9c;
-}
-.idlAttrName, .idlFieldName, .idlMemberName {
- color: #ff4500;
-}
-.idlAttrName a, .idlFieldName a, .idlMemberName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlMethod*/
-.idlMethType {
- color: #005a9c;
-}
-.idlMethName {
- color: #ff4500;
-}
-.idlMethName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlParam*/
-.idlParamType {
- color: #005a9c;
-}
-.idlParamName {
- font-style: italic;
-}
-
-.extAttr {
- color: #666;
-}
-
-/*.idlConst*/
-.idlConstType {
- color: #005a9c;
-}
-.idlConstName {
- color: #ff4500;
-}
-.idlConstName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlException*/
-.idlExceptionID {
- font-weight: bold;
- color: #c00;
-}
-
-.idlTypedefID, .idlTypedefType {
- color: #005a9c;
-}
-
-.idlRaises, .idlRaises a.idlType, .idlRaises a.idlType code, .excName a, .excName a code {
- color: #c00;
- font-weight: normal;
-}
-
-.excName a {
- font-family: monospace;
-}
-
-.idlRaises a.idlType, .excName a.idlType {
- border-bottom: 1px dotted #c00;
-}
-
-.excGetSetTrue, .excGetSetFalse, .prmNullTrue, .prmNullFalse, .prmOptTrue, .prmOptFalse {
- width: 45px;
- text-align: center;
-}
-.excGetSetTrue, .prmNullTrue, .prmOptTrue { color: #0c0; }
-.excGetSetFalse, .prmNullFalse, .prmOptFalse { color: #c00; }
-
-.idlImplements a {
- font-weight: bold;
-}
-
-dl.attributes, dl.methods, dl.constants, dl.fields, dl.dictionary-members {
- margin-left: 2em;
-}
-
-.attributes dt, .methods dt, .constants dt, .fields dt, .dictionary-members dt {
- font-weight: normal;
-}
-
-.attributes dt code, .methods dt code, .constants dt code, .fields dt code, .dictionary-members dt code {
- font-weight: bold;
- color: #000;
- font-family: monospace;
-}
-
-.attributes dt code, .fields dt code, .dictionary-members dt code {
- background: #ffffd2;
-}
-
-.attributes dt .idlAttrType code, .fields dt .idlFieldType code, .dictionary-members dt .idlMemberType code {
- color: #005a9c;
- background: transparent;
- font-family: inherit;
- font-weight: normal;
- font-style: italic;
-}
-
-.methods dt code {
- background: #d9e6f8;
-}
-
-.constants dt code {
- background: #ddffd2;
-}
-
-.attributes dd, .methods dd, .constants dd, .fields dd, .dictionary-members dd {
- margin-bottom: 1em;
-}
table.parameters, table.exceptions {
border-spacing: 0;
@@ -554,15 +274,6 @@
width: 100%;
}
-/* --- TOC --- */
-.toc a {
- text-decoration: none;
-}
-
-a .secno {
- color: #000;
-}
-
/* --- TABLE --- */
table.simple {
border-spacing: 0;
@@ -592,22 +303,6 @@
background: #f0f6ff;
}
-/* --- DL --- */
-.section dd > p:first-child {
- margin-top: 0;
-}
-
-.section dd > p:last-child {
- margin-bottom: 0;
-}
-
-.section dd {
- margin-bottom: 1em;
-}
-
-.section dl.attrs dd, .section dl.eldef dd {
- margin-bottom: 0;
-}
/* --- EXAMPLES --- */
pre.example {
@@ -629,67 +324,6 @@
margin: -1em 0 1em -1em;
}
-/* --- EDITORIAL NOTES --- */
-.issue {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #ffc;
-}
-
-.issue::before {
- content: "Issue";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-.note {
- margin: 1em 0em 0em;
- padding: 1em;
- border: 2px solid #cff6d9;
- background: #e2fff0;
-}
-
-.note::before {
- content: "Note";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #cff6d9;
- background: #fff;
- padding: 3px 1em;
-}
-
-/* --- Best Practices --- */
-div.practice {
- border: solid #bebebe 1px;
- margin: 2em 1em 1em 2em;
-}
-
-span.practicelab {
- margin: 1.5em 0.5em 1em 1em;
- font-weight: bold;
- font-style: italic;
-}
-
-span.practicelab { background: #dfffff; }
-
-span.practicelab {
- position: relative;
- padding: 0 0.5em;
- top: -1.5em;
-}
-
-p.practicedesc {
- margin: 1.5em 0.5em 1em 1em;
-}
-
@media screen {
p.practicedesc {
position: relative;
@@ -698,75 +332,6 @@
margin: 1.5em 0.5em -1em 1em;
}
}
-
-/* --- SYNTAX HIGHLIGHTING --- */
-pre.sh_sourceCode {
- background-color: white;
- color: black;
- font-style: normal;
- font-weight: normal;
-}
-
-pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; } /* language keywords */
-pre.sh_sourceCode .sh_type { color: #666; } /* basic types */
-pre.sh_sourceCode .sh_usertype { color: teal; } /* user defined types */
-pre.sh_sourceCode .sh_string { color: red; font-family: monospace; } /* strings and chars */
-pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; } /* regular expressions */
-pre.sh_sourceCode .sh_specialchar { color: #ffc0cb; font-family: monospace; } /* e.g., \n, \t, \\ */
-pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; } /* comments */
-pre.sh_sourceCode .sh_number { color: purple; } /* literal numbers */
-pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; } /* e.g., #include, import */
-pre.sh_sourceCode .sh_symbol { color: blue; } /* e.g., *, + */
-pre.sh_sourceCode .sh_function { color: black; font-weight: bold; } /* function calls and declarations */
-pre.sh_sourceCode .sh_cbracket { color: red; } /* block brackets (e.g., {, }) */
-pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; } /* TODO and FIXME */
-
-/* Predefined variables and functions (for instance glsl) */
-pre.sh_sourceCode .sh_predef_var { color: #00008B; }
-pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
-
-/* for OOP */
-pre.sh_sourceCode .sh_classname { color: teal; }
-
-/* line numbers (not yet implemented) */
-pre.sh_sourceCode .sh_linenum { display: none; }
-
-/* Internet related */
-pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
-
-/* for ChangeLog and Log files */
-pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
-pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
-pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
-
-/* for Prolog, Perl... */
-pre.sh_sourceCode .sh_variable { color: #006400; }
-
-/* for LaTeX */
-pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
-pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
-pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
-pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
-pre.sh_sourceCode .sh_argument { color: #006400; }
-pre.sh_sourceCode .sh_optionalargument { color: purple; }
-pre.sh_sourceCode .sh_math { color: orange; }
-pre.sh_sourceCode .sh_bibtex { color: blue; }
-
-/* for diffs */
-pre.sh_sourceCode .sh_oldfile { color: orange; }
-pre.sh_sourceCode .sh_newfile { color: #006400; }
-pre.sh_sourceCode .sh_difflines { color: blue; }
-
-/* for css */
-pre.sh_sourceCode .sh_selector { color: purple; }
-pre.sh_sourceCode .sh_property { color: blue; }
-pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
-
-/* other */
-pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
-pre.sh_sourceCode .sh_paren { color: red; }
-pre.sh_sourceCode .sh_attribute { color: #006400; }
-
</style>
<style type="text/css">
/* --- EDITORIAL NOTES --- */
@@ -825,23 +390,6 @@
background: #fff;
}
-/* .inference[id]::before { */
-/* content: "Inference: " attr(id); */
-/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
-/* } */
-
-
-/* .inference::before { */
-/* content: "Inference"; */
-/* display: block; */
-/* width: 150px; */
-/* margin: -1.5em 0 0.5em 0; */
-/* font-weight: bold; */
-/* border: 1px solid #f00; */
-/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
.syntax {
padding: 1em;
margin: 1em 0em 0em;
@@ -901,24 +449,6 @@
background: #fff;
}
-/* .constraint[id]::before { */
-/* content: "Constraint: " attr(id); */
-/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
-/* } */
-
-
-/* .constraint::before { */
-/* content: "Constraint"; */
-/* display: block; */
-/* width: 150px; */
-/* margin: -1.5em 0 0.5em 0; */
-/* font-weight: bold; */
-/* border: 1px solid #00f; */
-/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
-
.interpretation {
padding: 1em;
@@ -958,24 +488,6 @@
background: #fff;
}
-/* .definition[id]::before { */
-/* content: "Definition: " attr(id); */
-/* width: 380px; */
-/* } */
-
-
-/* .definition::before { */
-/* content: "Definition"; */
-/* display: block; */
-/* width: 150px; */
-/* margin: -1.5em 0 0.5em 0; */
-/* font-weight: bold; */
-/* border: 1px solid #000; */
-/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
-
.deprecatedconstraint {
padding: 1em;
margin: 1em 0em 0em;
@@ -1062,23 +574,6 @@
padding: 3px 1em;
}
-/*
-.anexample[count]::before {
- content: "Example " attr(count) ;
- font-family: sans-serif;
- font-size: 1.6ex;
- font-weight: bold;
-}
-
-.anexample:before {
- content: "Example:";
- font-family: sans-serif;
- font-size: 1.6ex;
- font-weight: bold;
-}
-
-*/
-
.anexample {
margin-top: 1ex;
margin-bottom: 1ex;
--- a/model/releases/CR-prov-dm-20121211/diff.html Sat Nov 24 23:11:33 2012 +0000
+++ b/model/releases/CR-prov-dm-20121211/diff.html Sat Nov 24 23:30:11 2012 +0000
@@ -27,7 +27,45 @@
+
<script type="text/javascript">
+/*
+ Written by Jonathan Snook, http://www.snook.ca/jonathan
+ Add-ons by Robert Nyman, http://www.robertnyman.com
+ Author says "The credit comment is all it takes, no license. Go crazy "
+ From http://www.robertnyman.com/2005/11/07/the-ultimate-getelementsbyclassname/
+*/
+
+function getElementsByClassName(oElm, strTagName, oClassNames){
+ var arrElements = (! (! (strTagName == "*") || ! (oElm.all)))? oElm.all : oElm.getElementsByTagName(strTagName);
+ var arrReturnElements = new Array();
+ var arrRegExpClassNames = new Array();
+ if(typeof oClassNames == "object"){
+ for(var i=0; !(i>=oClassNames.length); i++){ /*>*/
+ arrRegExpClassNames.push(new RegExp("(^|\s)" + oClassNames[i].replace(/\-/g, "\-") + "(\s|$)"));
+ }
+ }
+ else{
+ arrRegExpClassNames.push(new RegExp("(^|\s)" + oClassNames.replace(/\-/g, "\-") + "(\s|$)"));
+ }
+ var oElement;
+ var bMatchesAll;
+ for(var j=0; !(j>=arrElements.length); j++){ /*>*/
+ oElement = arrElements[j];
+ bMatchesAll = true;
+ for(var k=0; !(k>=arrRegExpClassNames.length); k++){ /*>*/
+ if(!arrRegExpClassNames[k].test(oElement.className)){
+ bMatchesAll = false;
+ break;
+ }
+ }
+ if(bMatchesAll){
+ arrReturnElements.push(oElement);
+ }
+ }
+ return (arrReturnElements)
+}
+
function set_display_by_class(el, cls, newValue) {
var e = getElementsByClassName(document, el, cls);
if (e != null) {
--- a/model/releases/CR-prov-n-20121211/Overview.html Sat Nov 24 23:11:33 2012 +0000
+++ b/model/releases/CR-prov-n-20121211/Overview.html Sat Nov 24 23:30:11 2012 +0000
@@ -1,16 +1,11 @@
<!DOCTYPE html>
<html lang="en" dir="ltr">
<head>
- <title>PROV-N: The Provenance Notation</title>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
- <!--
- === NOTA BENE ===
- For the three scripts below, if your spec resides on dev.w3 you can check them
- out in the same tree and use relative links so that they'll work offline,
- -->
-<!-- PM -->
- <style type="text/css">
- .note { font-size:small; margin-left:50px }
+<title>PROV-N: The Provenance Notation</title>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+
+<style type="text/css">
+.note { font-size:small; margin-left:50px }
table.thinborder {
border-width: 1px;
border-spacing: 0px;
@@ -30,23 +25,32 @@
border-style: solid;
border-color: gray;
}
-
</style>
-
-<!-- <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script> -->
-
+
+<!--
+ <script class="remove">
+ function updateGlossaryRefs() {
+ $('.glossary-ref').each(function(index) {
+ var ref=$(this).attr('ref');
+ $('#'+ref+'.glossary').contents().clone().appendTo($(this));
+ $(this).children('dfn').replaceWith(function(){return $('<span>').addClass('dfn').append($(this).contents())});
+ });
+ }
+ $(document).ready(updateGlossaryRefs);
+ </script>
+-->
@@ -99,167 +103,6 @@
*/
-/* --- WEB IDL --- */
-pre.idl {
- border-top: 1px solid #90b8de;
- border-bottom: 1px solid #90b8de;
- padding: 1em;
- line-height: 120%;
-}
-
-pre.idl::before {
- content: "WebIDL";
- display: block;
- width: 150px;
- background: #90b8de;
- color: #fff;
- font-family: initial;
- padding: 3px;
- font-weight: bold;
- margin: -1em 0 1em -1em;
-}
-
-.idlType {
- color: #ff4500;
- font-weight: bold;
- text-decoration: none;
-}
-
-/*.idlModule*/
-/*.idlModuleID*/
-/*.idlInterface*/
-.idlInterfaceID, .idlDictionaryID {
- font-weight: bold;
- color: #005a9c;
-}
-
-.idlSuperclass {
- font-style: italic;
- color: #005a9c;
-}
-
-/*.idlAttribute*/
-.idlAttrType, .idlFieldType, .idlMemberType {
- color: #005a9c;
-}
-.idlAttrName, .idlFieldName, .idlMemberName {
- color: #ff4500;
-}
-.idlAttrName a, .idlFieldName a, .idlMemberName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlMethod*/
-.idlMethType {
- color: #005a9c;
-}
-.idlMethName {
- color: #ff4500;
-}
-.idlMethName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlParam*/
-.idlParamType {
- color: #005a9c;
-}
-.idlParamName {
- font-style: italic;
-}
-
-.extAttr {
- color: #666;
-}
-
-/*.idlConst*/
-.idlConstType {
- color: #005a9c;
-}
-.idlConstName {
- color: #ff4500;
-}
-.idlConstName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlException*/
-.idlExceptionID {
- font-weight: bold;
- color: #c00;
-}
-
-.idlTypedefID, .idlTypedefType {
- color: #005a9c;
-}
-
-.idlRaises, .idlRaises a.idlType, .idlRaises a.idlType code, .excName a, .excName a code {
- color: #c00;
- font-weight: normal;
-}
-
-.excName a {
- font-family: monospace;
-}
-
-.idlRaises a.idlType, .excName a.idlType {
- border-bottom: 1px dotted #c00;
-}
-
-.excGetSetTrue, .excGetSetFalse, .prmNullTrue, .prmNullFalse, .prmOptTrue, .prmOptFalse {
- width: 45px;
- text-align: center;
-}
-.excGetSetTrue, .prmNullTrue, .prmOptTrue { color: #0c0; }
-.excGetSetFalse, .prmNullFalse, .prmOptFalse { color: #c00; }
-
-.idlImplements a {
- font-weight: bold;
-}
-
-dl.attributes, dl.methods, dl.constants, dl.fields, dl.dictionary-members {
- margin-left: 2em;
-}
-
-.attributes dt, .methods dt, .constants dt, .fields dt, .dictionary-members dt {
- font-weight: normal;
-}
-
-.attributes dt code, .methods dt code, .constants dt code, .fields dt code, .dictionary-members dt code {
- font-weight: bold;
- color: #000;
- font-family: monospace;
-}
-
-.attributes dt code, .fields dt code, .dictionary-members dt code {
- background: #ffffd2;
-}
-
-.attributes dt .idlAttrType code, .fields dt .idlFieldType code, .dictionary-members dt .idlMemberType code {
- color: #005a9c;
- background: transparent;
- font-family: inherit;
- font-weight: normal;
- font-style: italic;
-}
-
-.methods dt code {
- background: #d9e6f8;
-}
-
-.constants dt code {
- background: #ddffd2;
-}
-
-.attributes dd, .methods dd, .constants dd, .fields dd, .dictionary-members dd {
- margin-bottom: 1em;
-}
table.parameters, table.exceptions {
border-spacing: 0;
@@ -305,15 +148,6 @@
width: 100%;
}
-/* --- TOC --- */
-.toc a {
- text-decoration: none;
-}
-
-a .secno {
- color: #000;
-}
-
/* --- TABLE --- */
table.simple {
border-spacing: 0;
@@ -343,22 +177,6 @@
background: #f0f6ff;
}
-/* --- DL --- */
-.section dd > p:first-child {
- margin-top: 0;
-}
-
-.section dd > p:last-child {
- margin-bottom: 0;
-}
-
-.section dd {
- margin-bottom: 1em;
-}
-
-.section dl.attrs dd, .section dl.eldef dd {
- margin-bottom: 0;
-}
/* --- EXAMPLES --- */
pre.example {
@@ -380,67 +198,6 @@
margin: -1em 0 1em -1em;
}
-/* --- EDITORIAL NOTES --- */
-.issue {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #ffc;
-}
-
-.issue::before {
- content: "Issue";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-.note {
- margin: 1em 0em 0em;
- padding: 1em;
- border: 2px solid #cff6d9;
- background: #e2fff0;
-}
-
-.note::before {
- content: "Note";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #cff6d9;
- background: #fff;
- padding: 3px 1em;
-}
-
-/* --- Best Practices --- */
-div.practice {
- border: solid #bebebe 1px;
- margin: 2em 1em 1em 2em;
-}
-
-span.practicelab {
- margin: 1.5em 0.5em 1em 1em;
- font-weight: bold;
- font-style: italic;
-}
-
-span.practicelab { background: #dfffff; }
-
-span.practicelab {
- position: relative;
- padding: 0 0.5em;
- top: -1.5em;
-}
-
-p.practicedesc {
- margin: 1.5em 0.5em 1em 1em;
-}
-
@media screen {
p.practicedesc {
position: relative;
@@ -449,75 +206,6 @@
margin: 1.5em 0.5em -1em 1em;
}
}
-
-/* --- SYNTAX HIGHLIGHTING --- */
-pre.sh_sourceCode {
- background-color: white;
- color: black;
- font-style: normal;
- font-weight: normal;
-}
-
-pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; } /* language keywords */
-pre.sh_sourceCode .sh_type { color: #666; } /* basic types */
-pre.sh_sourceCode .sh_usertype { color: teal; } /* user defined types */
-pre.sh_sourceCode .sh_string { color: red; font-family: monospace; } /* strings and chars */
-pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; } /* regular expressions */
-pre.sh_sourceCode .sh_specialchar { color: #ffc0cb; font-family: monospace; } /* e.g., \n, \t, \\ */
-pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; } /* comments */
-pre.sh_sourceCode .sh_number { color: purple; } /* literal numbers */
-pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; } /* e.g., #include, import */
-pre.sh_sourceCode .sh_symbol { color: blue; } /* e.g., *, + */
-pre.sh_sourceCode .sh_function { color: black; font-weight: bold; } /* function calls and declarations */
-pre.sh_sourceCode .sh_cbracket { color: red; } /* block brackets (e.g., {, }) */
-pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; } /* TODO and FIXME */
-
-/* Predefined variables and functions (for instance glsl) */
-pre.sh_sourceCode .sh_predef_var { color: #00008B; }
-pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
-
-/* for OOP */
-pre.sh_sourceCode .sh_classname { color: teal; }
-
-/* line numbers (not yet implemented) */
-pre.sh_sourceCode .sh_linenum { display: none; }
-
-/* Internet related */
-pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
-
-/* for ChangeLog and Log files */
-pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
-pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
-pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
-
-/* for Prolog, Perl... */
-pre.sh_sourceCode .sh_variable { color: #006400; }
-
-/* for LaTeX */
-pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
-pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
-pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
-pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
-pre.sh_sourceCode .sh_argument { color: #006400; }
-pre.sh_sourceCode .sh_optionalargument { color: purple; }
-pre.sh_sourceCode .sh_math { color: orange; }
-pre.sh_sourceCode .sh_bibtex { color: blue; }
-
-/* for diffs */
-pre.sh_sourceCode .sh_oldfile { color: orange; }
-pre.sh_sourceCode .sh_newfile { color: #006400; }
-pre.sh_sourceCode .sh_difflines { color: blue; }
-
-/* for css */
-pre.sh_sourceCode .sh_selector { color: purple; }
-pre.sh_sourceCode .sh_property { color: blue; }
-pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
-
-/* other */
-pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
-pre.sh_sourceCode .sh_paren { color: red; }
-pre.sh_sourceCode .sh_attribute { color: #006400; }
-
</style>
<style type="text/css">
/* --- EDITORIAL NOTES --- */
@@ -576,23 +264,6 @@
background: #fff;
}
-/* .inference[id]::before { */
-/* content: "Inference: " attr(id); */
-/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
-/* } */
-
-
-/* .inference::before { */
-/* content: "Inference"; */
-/* display: block; */
-/* width: 150px; */
-/* margin: -1.5em 0 0.5em 0; */
-/* font-weight: bold; */
-/* border: 1px solid #f00; */
-/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
.syntax {
padding: 1em;
margin: 1em 0em 0em;
@@ -652,24 +323,6 @@
background: #fff;
}
-/* .constraint[id]::before { */
-/* content: "Constraint: " attr(id); */
-/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
-/* } */
-
-
-/* .constraint::before { */
-/* content: "Constraint"; */
-/* display: block; */
-/* width: 150px; */
-/* margin: -1.5em 0 0.5em 0; */
-/* font-weight: bold; */
-/* border: 1px solid #00f; */
-/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
-
.interpretation {
padding: 1em;
@@ -709,24 +362,6 @@
background: #fff;
}
-/* .definition[id]::before { */
-/* content: "Definition: " attr(id); */
-/* width: 380px; */
-/* } */
-
-
-/* .definition::before { */
-/* content: "Definition"; */
-/* display: block; */
-/* width: 150px; */
-/* margin: -1.5em 0 0.5em 0; */
-/* font-weight: bold; */
-/* border: 1px solid #000; */
-/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
-
.deprecatedconstraint {
padding: 1em;
margin: 1em 0em 0em;
@@ -813,23 +448,6 @@
padding: 3px 1em;
}
-/*
-.anexample[count]::before {
- content: "Example " attr(count) ;
- font-family: sans-serif;
- font-size: 1.6ex;
- font-weight: bold;
-}
-
-.anexample:before {
- content: "Example:";
- font-family: sans-serif;
- font-size: 1.6ex;
- font-weight: bold;
-}
-
-*/
-
.anexample {
margin-top: 1ex;
margin-bottom: 1ex;
@@ -1185,7 +803,7 @@
<dt>Previous version:</dt>
- <dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120724/">http://www.w3.org/TR/2012/WD-prov-n-20120724/</a> <a href="diff-n.html">(colored-coded diff)</a></dd>
+ <dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120724/">http://www.w3.org/TR/2012/WD-prov-n-20120724/</a> <a href="diff.html">(colored-coded diff)</a></dd>
<dt>Editors:</dt>
--- a/model/releases/CR-prov-n-20121211/diff-n.html Sat Nov 24 23:11:33 2012 +0000
+++ b/model/releases/CR-prov-n-20121211/diff-n.html Sat Nov 24 23:30:11 2012 +0000
@@ -8,14 +8,12 @@
.tagDelete { background-color: #770000; color: #ffffff }
--></style>
- <title>PROV-N: The Provenance Notation</title>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-
-
- <style type="text/css">
-
-<span class="insert">
- .note { font-size:small; margin-left:50px }
+
+<title>PROV-N: The Provenance Notation</title>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+
+<style type="text/css"><span class="insert">
+.note { font-size:small; margin-left:50px }
table.thinborder {
border-width: 1px;
border-spacing: 0px;
@@ -35,17 +33,14 @@
border-style: solid;
border-color: gray;
}
-
</span></style>
-
-
-
+
@@ -53,6 +48,7 @@
+
@@ -65,9 +61,12 @@
*****************************************************************/
-</span>/* --- <span class="delete">EDITORIAL NOTES</span><span class="insert">INLINES</span> --- */
-<span class="delete">.pending</span><span class="insert">em.rfc2119</span> {<span class="insert">
- text-transform: lowercase;
+/* --- INLINES --- */
+em.rfc2119 {</span>
+
+
+
+ <span class="insert">text-transform: lowercase;
font-variant: small-caps;
font-style: normal;
color: #900;
@@ -96,175 +95,14 @@
a.bibref {
text-decoration: none;
-}
-
-/* code {
+}</span>
+
+/* <span class="insert">code {
color: #ff4500;
}
*/
-/* --- WEB IDL --- */
-pre.idl {
- border-top: 1px solid #90b8de;
- border-bottom: 1px solid #90b8de;</span>
- padding: 1em;
- <span class="insert">line-height: 120%;
-}
-
-pre.idl::before {
- content: "WebIDL";
- display: block;
- width: 150px;
- background: #90b8de;
- color: #fff;
- font-family: initial;
- padding: 3px;
- font-weight: bold;
- margin: -1em 0 1em -1em;
-}
-
-.idlType {
- color: #ff4500;
- font-weight: bold;
- text-decoration: none;
-}
-
-/*.idlModule*/
-/*.idlModuleID*/
-/*.idlInterface*/
-.idlInterfaceID, .idlDictionaryID {
- font-weight: bold;
- color: #005a9c;
-}
-
-.idlSuperclass {
- font-style: italic;
- color: #005a9c;
-}
-
-/*.idlAttribute*/
-.idlAttrType, .idlFieldType, .idlMemberType {
- color: #005a9c;
-}
-.idlAttrName, .idlFieldName, .idlMemberName {
- color: #ff4500;
-}
-.idlAttrName a, .idlFieldName a, .idlMemberName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlMethod*/
-.idlMethType {
- color: #005a9c;
-}
-.idlMethName {
- color: #ff4500;
-}
-.idlMethName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlParam*/
-.idlParamType {
- color: #005a9c;
-}
-.idlParamName {
- font-style: italic;
-}
-
-.extAttr {
- color: #666;
-}
-
-/*.idlConst*/
-.idlConstType {
- color: #005a9c;
-}
-.idlConstName {
- color: #ff4500;
-}
-.idlConstName a {
- color: #ff4500;
- border-bottom: 1px dotted #ff4500;
- text-decoration: none;
-}
-
-/*.idlException*/
-.idlExceptionID {
- font-weight: bold;
- color: #c00;
-}
-
-.idlTypedefID, .idlTypedefType {
- color: #005a9c;
-}
-
-.idlRaises, .idlRaises a.idlType, .idlRaises a.idlType code, .excName a, .excName a code {
- color: #c00;
- font-weight: normal;
-}
-
-.excName a {
- font-family: monospace;
-}
-
-.idlRaises a.idlType, .excName a.idlType {
- border-bottom: 1px dotted #c00;
-}
-
-.excGetSetTrue, .excGetSetFalse, .prmNullTrue, .prmNullFalse, .prmOptTrue, .prmOptFalse {
- width: 45px;
- text-align: center;
-}
-.excGetSetTrue, .prmNullTrue, .prmOptTrue { color: #0c0; }
-.excGetSetFalse, .prmNullFalse, .prmOptFalse { color: #c00; }
-
-.idlImplements a {
- font-weight: bold;
-}
-
-dl.attributes, dl.methods, dl.constants, dl.fields, dl.dictionary-members {
- margin-left: 2em;
-}
-
-.attributes dt, .methods dt, .constants dt, .fields dt, .dictionary-members dt {
- font-weight: normal;
-}
-
-.attributes dt code, .methods dt code, .constants dt code, .fields dt code, .dictionary-members dt code {
- font-weight: bold;
- color: #000;
- font-family: monospace;
-}
-
-.attributes dt code, .fields dt code, .dictionary-members dt code {
- background: #ffffd2;
-}
-
-.attributes dt .idlAttrType code, .fields dt .idlFieldType code, .dictionary-members dt .idlMemberType code {
- color: #005a9c;
- background: transparent;
- font-family: inherit;
- font-weight: normal;
- font-style: italic;
-}
-
-.methods dt code {
- background: #d9e6f8;
-}
-
-.constants dt code {
- background: #ddffd2;
-}
-
-.attributes dd, .methods dd, .constants dd, .fields dd, .dictionary-members dd {
- margin-bottom: 1em;
-}
table.parameters, table.exceptions {
border-spacing: 0;
@@ -310,17 +148,8 @@
width: 100%;
}
-/* --- TOC --- */
-.toc a {
- text-decoration: none;
-}
-
-a .secno {
- color: #000;
-}
-
-/* --- TABLE --- */
-table.simple {
+/* </span>--- <span class="delete">EDITORIAL NOTES</span><span class="insert">TABLE</span> --- */
+<span class="delete">.pending</span><span class="insert">table.simple</span> {<span class="insert">
border-spacing: 0;
border-collapse: collapse;
border-bottom: 3px solid #005a9c;
@@ -348,29 +177,13 @@
background: #f0f6ff;
}
-/* --- DL --- */
-.section dd > p:first-child {
- margin-top: 0;
-}
-
-.section dd > p:last-child {
- margin-bottom: 0;
-}
-
-.section dd {
- margin-bottom: 1em;
-}
-
-.section dl.attrs dd, .section dl.eldef dd {
- margin-bottom: 0;
-}
/* --- EXAMPLES --- */
pre.example {
border-top: 1px solid #ff4500;
- border-bottom: 1px solid #ff4500;
+ border-bottom: 1px solid #ff4500;</span>
padding: 1em;
- margin-top: 1em;
+ <span class="insert">margin-top: 1em;
}
pre.example::before {
@@ -385,67 +198,6 @@
margin: -1em 0 1em -1em;
}
-/* --- EDITORIAL NOTES --- */
-.issue {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #ffc;
-}
-
-.issue::before {
- content: "Issue";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #f00;
- background: #fff;
- padding: 3px 1em;
-}
-
-.note {
- margin: 1em 0em 0em;
- padding: 1em;
- border: 2px solid #cff6d9;
- background: #e2fff0;
-}
-
-.note::before {
- content: "Note";
- display: block;
- width: 150px;
- margin: -1.5em 0 0.5em 0;
- font-weight: bold;
- border: 1px solid #cff6d9;
- background: #fff;
- padding: 3px 1em;
-}
-
-/* --- Best Practices --- */
-div.practice {
- border: solid #bebebe 1px;
- margin: 2em 1em 1em 2em;
-}
-
-span.practicelab {
- margin: 1.5em 0.5em 1em 1em;
- font-weight: bold;
- font-style: italic;
-}
-
-span.practicelab { background: #dfffff; }
-
-span.practicelab {
- position: relative;
- padding: 0 0.5em;
- top: -1.5em;
-}
-
-p.practicedesc {
- margin: 1.5em 0.5em 1em 1em;
-}
-
@media screen {
p.practicedesc {
position: relative;
@@ -454,75 +206,6 @@
margin: 1.5em 0.5em -1em 1em;
}
}
-
-/* --- SYNTAX HIGHLIGHTING --- */
-pre.sh_sourceCode {
- background-color: white;
- color: black;
- font-style: normal;
- font-weight: normal;
-}
-
-pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; } /* language keywords */
-pre.sh_sourceCode .sh_type { color: #666; } /* basic types */
-pre.sh_sourceCode .sh_usertype { color: teal; } /* user defined types */
-pre.sh_sourceCode .sh_string { color: red; font-family: monospace; } /* strings and chars */
-pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; } /* regular expressions */
-pre.sh_sourceCode .sh_specialchar { color: #ffc0cb; font-family: monospace; } /* e.g., \n, \t, \\ */
-pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; } /* comments */
-pre.sh_sourceCode .sh_number { color: purple; } /* literal numbers */
-pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; } /* e.g., #include, import */
-pre.sh_sourceCode .sh_symbol { color: blue; } /* e.g., *, + */
-pre.sh_sourceCode .sh_function { color: black; font-weight: bold; } /* function calls and declarations */
-pre.sh_sourceCode .sh_cbracket { color: red; } /* block brackets (e.g., {, }) */
-pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; } /* TODO and FIXME */
-
-/* Predefined variables and functions (for instance glsl) */
-pre.sh_sourceCode .sh_predef_var { color: #00008B; }
-pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
-
-/* for OOP */
-pre.sh_sourceCode .sh_classname { color: teal; }
-
-/* line numbers (not yet implemented) */
-pre.sh_sourceCode .sh_linenum { display: none; }
-
-/* Internet related */
-pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
-
-/* for ChangeLog and Log files */
-pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
-pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
-pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
-
-/* for Prolog, Perl... */
-pre.sh_sourceCode .sh_variable { color: #006400; }
-
-/* for LaTeX */
-pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
-pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
-pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
-pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
-pre.sh_sourceCode .sh_argument { color: #006400; }
-pre.sh_sourceCode .sh_optionalargument { color: purple; }
-pre.sh_sourceCode .sh_math { color: orange; }
-pre.sh_sourceCode .sh_bibtex { color: blue; }
-
-/* for diffs */
-pre.sh_sourceCode .sh_oldfile { color: orange; }
-pre.sh_sourceCode .sh_newfile { color: #006400; }
-pre.sh_sourceCode .sh_difflines { color: blue; }
-
-/* for css */
-pre.sh_sourceCode .sh_selector { color: purple; }
-pre.sh_sourceCode .sh_property { color: blue; }
-pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
-
-/* other */
-pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
-pre.sh_sourceCode .sh_paren { color: red; }
-pre.sh_sourceCode .sh_attribute { color: #006400; }
-
</span></style>
<style type="text/css"><span class="insert">
/* --- EDITORIAL NOTES --- */
@@ -569,22 +252,17 @@
}
-.inference<span class="insert"> {
+.inference {
padding: 1em;
margin: 1em 0em 0em;
border: 1px solid #f00;
background: #fff;
-}
-
-
-.inference-example</span> {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #f00;
- background: #fff;
-}
-
-/* .inference[id]::before { */
+}<span class="delete">
+
+/* .inference[id]::before</span><span class="insert">
+
+
+.inference-example</span> {<span class="delete"> */
/* content: "Inference: " attr(id); */
/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
/* } */
@@ -598,8 +276,13 @@
/* font-weight: bold; */
/* border: 1px solid #f00; */
/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
+/* </span>
+ padding: <span class="delete">3px </span>1em;<span class="delete"> */
+/* </span><span class="insert">
+ margin: 1em 0em 0em;
+ border: 1px solid #f00;
+ background: #fff;
+</span>}<span class="delete"> */</span>
.syntax {
padding: 1em;
@@ -653,14 +336,7 @@
background: #fff;
}
-<span class="insert">.constraint-example {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #00f;
- background: #fff;
-}
-
-</span>/* .constraint[id]::before { */
+<span class="delete">/* .constraint[id]::before</span><span class="insert">.constraint-example</span> {<span class="delete"> */
/* content: "Constraint: " attr(id); */
/* width: 380px; /\* How can we compute the length of "Constraint: " attr(id) *\/ */
/* } */
@@ -674,9 +350,17 @@
/* font-weight: bold; */
/* border: 1px solid #00f; */
/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
+/* </span>
+ padding: <span class="delete">3px </span>1em;<span class="delete"> */
+/* </span><span class="insert">
+ margin: 1em 0em 0em;
+ border: 1px solid #00f;
+ background: #fff;
+</span>}<span class="delete"> */
+
+
+
+</span>
.interpretation {
@@ -710,14 +394,7 @@
background: #fff;
}
-<span class="insert">.definition-example {
- padding: 1em;
- margin: 1em 0em 0em;
- border: 1px solid #777;
- background: #fff;
-}
-
-</span>/* .definition[id]::before { */
+<span class="delete">/* .definition[id]::before</span><span class="insert">.definition-example</span> {<span class="delete"> */
/* content: "Definition: " attr(id); */
/* width: 380px; */
/* } */
@@ -731,9 +408,16 @@
/* font-weight: bold; */
/* border: 1px solid #000; */
/* background: #fff; */
-/* padding: 3px 1em; */
-/* } */
-
+/* </span>
+ padding: <span class="delete">3px </span>1em;<span class="delete"> */
+/* </span><span class="insert">
+ margin: 1em 0em 0em;
+ border: 1px solid #777;
+ background: #fff;
+</span>}<span class="delete"> */
+
+
+</span>
.deprecatedconstraint {
padding: 1em;
@@ -821,7 +505,7 @@
padding: 3px 1em;
}
-/*
+<span class="delete">/*
.anexample[count]::before {
content: "Example " attr(count) ;
font-family: sans-serif;
@@ -838,7 +522,7 @@
*/
-.anexample {
+</span>.anexample {
margin-top: 1ex;
margin-bottom: 1ex;
padding-left: 1ex;
@@ -1607,7 +1291,7 @@
<dt><span class="insert">Previous version:</span></dt>
- <dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120724/">http://www.w3.org/TR/2012/WD-prov-n-20120724/</a> <a href="diff-n.html"><span class="insert">(colored-coded diff)</span></a></dd><span class="delete">Latest published version:</span><span class="delete">http://www.w3.org/TR/prov-n/</span><span class="delete">Latest editor's draft:</span><span class="delete">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</span><span class="delete">Previous version:</span><span class="delete">http://www.w3.org/TR/2012/WD-prov-n-20120503/</span><span class="delete"> (</span><span class="delete">color-coded diffs</span><span class="delete">)</span>
+ <dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120724/">http://www.w3.org/TR/2012/WD-prov-n-20120724/</a> <a href="diff.html"><span class="insert">(colored-coded diff)</span></a></dd><span class="delete">Latest published version:</span><span class="delete">http://www.w3.org/TR/prov-n/</span><span class="delete">Latest editor's draft:</span><span class="delete">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</span><span class="delete">Previous version:</span><span class="delete">http://www.w3.org/TR/2012/WD-prov-n-20120503/</span><span class="delete"> (</span><span class="delete">color-coded diffs</span><span class="delete">)</span>
<dt>Editors:</dt>