Update Webpage for MIRA
Add new features in web page,
e.g. add glossary and formalization of requirements in http://af3.fortiss.org/af3_requirement_specification_analysis.html
(from redmine: issue id 933, created on 2012-07-25, closed on 2012-08-09)
- Relations:
- precedes #949 (closed)