Commits · b8755893f1e7d6a1aa4aaf296f0f1e2876f12851 · af3 / af3-rcp

Sep 10, 2020

Simon Barner authored 4 years ago

* Unify links to deployment/schedule synthesis to the new
  unified synthesis.html page

Issue-Ref: 4057
Issue-Url: https://af3-developer.fortiss.org/issues/4057



Signed-off-by: Simon Barner <barner@fortiss.org>

523e0766

Jun 24, 2020

Add JavaScript-based workaround to fix home button on Firefox · 6714e9d1

Simon Barner authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

6714e9d1

Jun 23, 2020

Fixed Johannes Feedback · 88994df7

Saad bin Abid authored 4 years ago

Issue-Ref: 4018
Issue-Url: https://af3-developer.fortiss.org/issues/4018



Signed-off-by: Saad bin Abid <abid@fortiss.org>

88994df7

Jun 17, 2020

Make burger icon the home link (remove "Main Page" entry) · a4c7c950

Simon Barner authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

a4c7c950

Jun 08, 2020

Clean up pages · 7c221fdd

Simon Barner authored 4 years ago

- Indent
- Close all HTML tags
- Add footer with copyright, contact, imprint
- Minor fixes

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

7c221fdd

Jun 03, 2020

updated layouts, updated ratings file and further fixing of menu items. · 826e81ac

Saad bin Abid authored 4 years ago

Issue-Ref: 4007
Issue-Url: https://af3-developer.fortiss.org/issues/4007



Signed-off-by: Saad bin Abid <abid@fortiss.org>

826e81ac

Fixed layouts for html pages for further resources · 402cd158

Saad bin Abid authored 4 years ago

Issue-Ref: 4007
Issue-Url: https://af3-developer.fortiss.org/issues/4007



Signed-off-by: Saad bin Abid <abid@fortiss.org>

402cd158

Apr 22, 2020
- updated new features and faq htmls for release 2.17 · 48408a3e
  Johannes Eder authored 4 years ago
  
  Signed-off-by: Johannes Eder <eder@fortiss.org>
  48408a3e
Nov 25, 2019

GREEN · 7fc65db5

Simon Barner authored 5 years ago

Issue-Ref: 3871
Issue-Url: https://af3-developer.fortiss.org/issues/3871



Signed-off-by: Simon Barner <barner@fortiss.org>

7fc65db5

merged website FAQs · 35ceb298

Johannes Eder authored 5 years ago

Issue-Ref: 3871
Issue-Url: https://af3-developer.fortiss.org/issues/3871



Signed-off-by: Johannes Eder <eder@fortiss.org>

35ceb298

Nov 06, 2019

Remove online help for refinement, testing, and formal verification · 2df1cb40

Simon Barner authored 5 years ago

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

2df1cb40

Oct 11, 2019

Polish introduction and online help · 1645a9b3

Simon Barner authored 5 years ago

* Synchronize Eclipse help TOC
* Update help getting started page
* Move FAQ from introduction to online help (and update it)
* Ensure that all links open from Eclipse


Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

1645a9b3

Partial cleanup of welcome content · db2a1c4f

Simon Barner authored 5 years ago

* TODO: Move FAQ to homepage

Issue-Ref: 3845
Issue-Url: https://af3-developer.fortiss.org/issues/3845



Signed-off-by: Simon Barner <barner@fortiss.org>

db2a1c4f

Feb 28, 2019
- Extract the RCP plugin to a separate repository · 0e3fd620
  Alexander Diewald authored 6 years ago
  
  Issue-Ref: 3620 Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  0e3fd620