Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
af3
practical-course-product
Repository
practical-course-product
org.fortiss.af3.rcp.application
META-INF
MANIFEST.MF
Find file
Blame
History
Permalink
Added specification.ui and testing.ui to application, for integration of
· 595ae1de
Andreas Bayha
authored
Jul 06, 2018
formal analysis for models. Signed-off-by:
Andreas Bayha
<
bayha@fortiss.org
>
595ae1de