Skip to content

GitLab

Commit b8e610c0 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

update feature description

parent 92bd3df5
Hide whitespace changes
Inline Side-by-side
de.prob2.disprover.feature/feature.xml
View file @ b8e610c0
......@@ -13,7 +13,7 @@ Part of the research and development was conducted within the
EPSRC funded projects ABCD and iMoc, and within the EU funded
projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
ProB has been successfully used on various industrial specifications
and is now being used within Siemens, Alstom, Thales.
and is now being used e.g. within Siemens, Alstom, Thales and ClearSy.
</description>
<copyright>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment