diff --git a/index.html b/index.html index 47ed987d4195a4680fabd7856c9f80759a38e57c..5d5238f3b8505c492aa9845182054a0de2d94356 100644 --- a/index.html +++ b/index.html @@ -1,27 +1,23 @@ <html> -<head> -<title>stups.prob.update</title> -<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> - -</head> -<body > - -<h1 class="title">Installing the ProB plug-ins</h1> -<p class="bodyText"> -Please use the Rodin Update manager to install the plug-ins. -</p> -<ol class="bodyText"> -<li>Select from main menu: <i>Help | Software Updates | Find and install...</i></li> -<li>There should already be a HHU remote site. If not, create a new remote site using the URL <br/><i>https://stups.hhu-hosting.de/rodin/prob1/release/</i></li> -<li>Select the Plug-ins you want to install and follow the dialog</li> -</ol> -<br/> - - Queries? Please contact: - Heinrich-Heine-University, Software und Programmiersprachen: - <a href="https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages" target="_blank">To Website</a>. -<a href="https://www.hhu.de/datenschutzerklaerung">Privacy Policy (Datenschutz)</a>. - -<div id="data"><!-- this is where the transformed data goes --></div> -</body> + <head> + <title>stups.prob.update</title> + <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> + </head> + <body> + <h1 class="title">Installing the ProB plug-ins</h1> + <p class="bodyText">Please use the Rodin Update manager to install the plug-ins.</p> + <ol class="bodyText"> + <li>Select from main menu: <i>Help | Software Updates | Find and install...</i></li> + <li> + There should already be a HHU remote site. If not, create a new remote site using the URL <br/> + <i>https://stups.hhu-hosting.de/rodin/prob1/release/</i> + </li> + <li>Select the Plug-ins you want to install and follow the dialog</li> + </ol> + <br/> + Queries? Please contact: Heinrich-Heine-University, Software und Programmiersprachen: + <a href="https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages" target="_blank">To Website</a>. + <a href="https://www.hhu.de/datenschutzerklaerung">Privacy Policy (Datenschutz)</a>. + <div id="data"><!-- this is where the transformed data goes --></div> + </body> </html>