Last modified by puchades on 2022/02/18 13:42
From version 1.1
edited by sharoncy
on 2020/03/09 12:51
Change comment: There is no comment for this version
To version 2.1
edited by puchades
on 2020/03/25 16:08
Change comment: Uploaded new attachment "Quantifier output.png", version {1}

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,1 @@
1 -5. Output of the QUINT workflow
1 +6. Output of the QUINT workflow
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.sharoncy
1 +XWiki.puchades
Quantifier output.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.puchades
Size
... ... @@ -1,0 +1,1 @@
1 +11.3 KB
Content