trying to fix prov-xml definitions
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 01 Mar 2013 16:06:55 +0000
changeset 5808 e2fc28e84338
parent 5806 8016c1939a67
child 5809 a770fe6f4f42
trying to fix prov-xml definitions
xml/prov-xml.html
--- a/xml/prov-xml.html	Thu Feb 28 17:52:30 2013 +0000
+++ b/xml/prov-xml.html	Fri Mar 01 16:06:55 2013 +0000
@@ -40,6 +40,33 @@
     <script src="../model/provbib.js" class="remove"></script>
 
     <script type="text/javascript" class="remove">
+
+    </script>
+
+    <script class="remove">
+$(document).ready(function(){
+
+        // if glossary is in a string:
+        $('#glossary_div').html(glossary_string)
+        updateGlossaryRefs();
+        updateFigCaptions();
+        updateCaptions();
+        updateExamples();
+        updateExamplesRefs();
+
+
+        if (typeof String.prototype.startsWith != 'function') {
+        	String.prototype.startsWith = function (str) {
+        		return this.indexOf(str) == 0;
+        	};
+        }
+        
+        if (typeof String.prototype.contains != 'function') {
+            String.prototype.contains  = function (str) {
+            	return this.indexOf(str) >= 0;
+            };
+        }
+
     $(function() {
     	$("pre.schema-type").before("<p>Type definition in XML Schema:</p>");
 	    	    
@@ -61,30 +88,6 @@
 	    });
 	    
     });
-    </script>
-
-    <script class="remove">
-      $(function(){
-        // if glossary is in a string:
-        $('#glossary_div').html(glossary_string)
-        updateGlossaryRefs();
-        updateFigCaptions();
-        updateCaptions();
-        updateExamples();
-        updateExamplesRefs();
-
-
-        if (typeof String.prototype.startsWith != 'function') {
-        	String.prototype.startsWith = function (str) {
-        		return this.indexOf(str) == 0;
-        	};
-        }
-        
-        if (typeof String.prototype.contains != 'function') {
-            String.prototype.contains  = function (str) {
-            	return this.indexOf(str) >= 0;
-            };
-        }
       });
     </script>