Skip to content
Snippets Groups Projects
Unverified Commit 77cb8cf3 authored by Jens Bendisposto's avatar Jens Bendisposto Committed by GitHub
Browse files

Update index.html

parent 58b5b0d3
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 6 additions and 52 deletions
index.html
+ 6
− 52
View file @ 77cb8cf3
...@@ -2,60 +2,10 @@ ...@@ -2,60 +2,10 @@
<head> <head>
<title>stups.prob.update</title> <title>stups.prob.update</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style>@import url("web/site.css");</style>
<script type="text/javascript">
var returnval = 0;
var stylesheet, xmlFile, cache, doc;
function init(){
// NSCP 7.1+ / Mozilla 1.4.1+ / Safari
// Use the standard DOM Level 2 technique, if it is supported
if (document.implementation && document.implementation.createDocument) {
xmlFile = document.implementation.createDocument("", "", null);
stylesheet = document.implementation.createDocument("", "", null);
if (xmlFile.load){
xmlFile.load("site.xml");
stylesheet.load("web/site.xsl");
} else {
alert("Document could not be loaded by browser.");
}
xmlFile.addEventListener("load", transform, false);
stylesheet.addEventListener("load", transform, false);
}
//IE 6.0+ solution
else if (window.ActiveXObject) {
xmlFile = new ActiveXObject("msxml2.DOMDocument.3.0");
xmlFile.async = false;
xmlFile.load("site.xml");
stylesheet = new ActiveXObject("msxml2.FreeThreadedDOMDocument.3.0");
stylesheet.async = false;
stylesheet.load("web/site.xsl");
cache = new ActiveXObject("msxml2.XSLTemplate.3.0");
cache.stylesheet = stylesheet;
transformData();
}
}
// separate transformation function for IE 6.0+
function transformData(){
var processor = cache.createProcessor();
processor.input = xmlFile;
processor.transform();
data.innerHTML = processor.output;
}
// separate transformation function for NSCP 7.1+ and Mozilla 1.4.1+
function transform(){
returnval+=1;
if (returnval==2){
var processor = new XSLTProcessor();
processor.importStylesheet(stylesheet);
doc = processor.transformToDocument(xmlFile);
document.getElementById("data").innerHTML = doc.documentElement.innerHTML;
}
}
</script>
</head> </head>
<body onload="init();"> <body >
<a href="http://www.stups.uni-duesseldorf.de/"><img src="http://www.stups.uni-duesseldorf.de/hhulogo1.jpg" border="0" align="right"></a>
<h1 class="title">Installing the ProB plug-ins</h1> <h1 class="title">Installing the ProB plug-ins</h1>
<p class="bodyText"> <p class="bodyText">
Please use the Rodin Update manager to install the plug-ins. Please use the Rodin Update manager to install the plug-ins.
...@@ -67,6 +17,10 @@ Please use the Rodin Update manager to install the plug-ins. ...@@ -67,6 +17,10 @@ Please use the Rodin Update manager to install the plug-ins.
</ol> </ol>
<br/> <br/>
Queries? Please contact:
Heinrich-Heine-University, Software und Programmiersprachen:
<a href="http://www.stups.hhu.de/" target="_blank">To Website</a>.
<a href="http://www.uni-duesseldorf.de/home/footer/datenschutz.html">Privacy Policy (Datenschutz)</a>.
<div id="data"><!-- this is where the transformed data goes --></div> <div id="data"><!-- this is where the transformed data goes --></div>
</body> </body>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment