View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0001334 | Frama-C | Documentation | public | 2012-12-17 20:53 | 2016-06-21 14:24 | ||||
Reporter | jens | ||||||||
Assigned To | patrick | ||||||||
Priority | normal | Severity | text | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Oxygen-20120901 | ||||||||
Target Version | Fixed in Version | Frama-C Fluorine-20130401 | |||||||
Summary | 0001334: Fraunhofer FIRST -> Fraunhofer FOKUS | ||||||||
Description | Fraunhofer FIRST has been merged into Fraunhofer FOKUS. Please change URL on http://frama-c.com/wp.html to www.fokus.fraunhofer.de | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
patrick (developer) 2012-12-18 13:23 |
The name of the institute and the URL has been changed in source version of the wp.html web page. An update of the web site is necessary to see the change. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2012-12-17 20:53 | jens | New Issue | |
2012-12-17 20:53 | jens | Status | new => assigned |
2012-12-17 20:53 | jens | Assigned To | => signoles |
2012-12-18 08:59 | signoles | Assigned To | signoles => patrick |
2012-12-18 13:23 | patrick | Note Added: 0003631 | |
2012-12-18 13:23 | patrick | Status | assigned => resolved |
2012-12-18 13:23 | patrick | Resolution | open => fixed |
2013-04-19 11:05 | signoles | Fixed in Version | => Frama-C Fluorine |
2013-04-19 11:05 | signoles | Status | resolved => closed |
2016-06-21 14:11 | signoles | Category | Documentation => Documentation > ACSL |
2016-06-21 14:24 | signoles | Category | Documentation > ACSL => Documentation |