diff --git a/index.html b/index.html index 5d5238f3b8505c492aa9845182054a0de2d94356..dd431a4e640be3624fa6b818da7826cf88797d39 100644 --- a/index.html +++ b/index.html @@ -1,23 +1,24 @@ -<html> +<!DOCTYPE html> +<html lang="en"> <head> - <title>stups.prob.update</title> - <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> + <title>ProB plug-ins repository</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> + <h1>Installing the ProB plug-ins</h1> + <p>Please use the Rodin update manager to install the plug-ins.</p> + <ol> + <li>Select from main menu: <em>Help | Install New Software...</em></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> + Under <em>Work with</em>, select the ProB repository. If it isn't listed, add a new repository using the URL<br/> + <em>https://stups.hhu-hosting.de/rodin/prob1/release/</em> </li> - <li>Select the Plug-ins you want to install and follow the dialog</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> + <p> + 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>. + </p> </body> </html>