Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found
Select Git revision

Target

Select target project
  • general/stups/rodin_handbook
1 result
Select Git revision
Show changes
Commits on Source (4)
Show whitespace changes
Inline Side-by-side
.gitlab-ci.yml
View file @ f6772f57
......@@ -20,8 +20,10 @@ build:
- cd ..
- cp -r org.rodinp.handbook.feature/build/eclipse/* org.rodinp.handbook/
- mvn -f org.rodinp.handbook.parent/pom.xml install
- cp org.rodinp.handbook.releng/index.html org.rodinp.handbook.repository/target/repository
- cp org.rodinp.handbook.repository/footer.html org.rodinp.handbook.repository/target/repository
artifacts:
paths:
- org.rodinp.handbook.feature/build
- org.rodinp.handbook.feature/build/files
- org.rodinp.handbook.feature/build/html
- org.rodinp.handbook.feature/build/pdf
- org.rodinp.handbook.repository/target/repository
org.rodinp.handbook.releng/.project deleted 100644 → 0
View file @ f971e1c3
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>org.rodinp.handbook.releng</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
</buildSpec>
<natures>
</natures>
</projectDescription>
org.rodinp.handbook.releng/index.html deleted 100644 → 0
View file @ f971e1c3
<html>
<head>
<title>ProR Handbook Updatesite</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body onload="init();">
<!--[insert static HTML here]-->
<a href="http://www.formalmind.com/"><img src="http://www.formalmind.com/sites/default/files/logo_formalmind.png" border="0" align="right"></a>
<h1 class="title">Installing the Rodin Handbook plug-in</h1>
<p class="bodyText">
Please use the Rodin Update manager to install the plug-in.
</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>http://handbook.event-b.org/updatesite/</i></li>
<li>Select the Plug-ins you want to install and follow the dialog</li>
</ol>
<br/>
<div id="data"><!-- this is where the transformed data goes --></div>
</body>
</html>
org.rodinp.handbook.releng/settings.gradle deleted 100755 → 0
View file @ f971e1c3
include 'org.rodinp.handbook', 'org.rodinp.handbook.feature'
\ No newline at end of file
org.rodinp.handbook.repository/footer.html 0 → 100644
View file @ f6772f57
<h1>Installing the Rodin Handbook plug-in</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>
Under <em>Work with</em>, select the Rodin Handbook repository. If it isn't listed, add a new repository using the URL<br/>
<em>https://stups.hhu-hosting.de/handbook/rodin/updatesite/</em>
</li>
<li>Select the Rodin Handbook plug-in and follow the dialog.</li>
</ol>
<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>