Commits · fa33b0c6dac7add522adac1d264be99f1b62cc9c · af3 / af3-rcp

Jun 03, 2020

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