Add ref to GitLab, update documentation.
Change-Id: I551f468acd781441ce386dfb9f61fe310ad6aa7e
diff --git a/community.html b/community.html
index 0b49ef9..5521f18 100644
--- a/community.html
+++ b/community.html
@@ -63,8 +63,8 @@
<td style="border-bottom: 1px solid #ccc;">Wiki prodiving additional resources to follow and contribute to CHESS.</td>
</tr>
<tr>
- <td style="border-bottom: 1px solid #ccc; height:80px;" width="20px"><a href="https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Chess"><img src="images/buggie.png" alt="Bugzilla" width="60"></a></td>
- <td style="border-bottom: 1px solid #ccc;">Bugzilla for bug reporting and enhancement requests.</td>
+ <td style="border-bottom: 1px solid #ccc; height:80px;" width="20px"><a href="https://gitlab.eclipse.org/eclipse/chess/chess/-/issues"><img src="images/buggie.png" alt="GitLab" width="60"></a></td>
+ <td style="border-bottom: 1px solid #ccc;">GitLab for bug reporting and enhancement requests. (<a href="https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Chess">BugZilla</a> was the previous bug tracking system).</td>
</tr>
<tr style="height:50px;">
<td style="border-bottom: 1px solid #ccc; height:80px;" width="20px"><a href="https://accounts.eclipse.org/mailing-list/chess-dev"><img src="images/enveloppe.png" alt="Mailing-list" width="60"></a></td>
diff --git a/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf b/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
index 68743b3..fbc5ad1 100755
--- a/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
+++ b/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
Binary files differ
