diff --git a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/help.html b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/help.html index ba1aa8c708a9fbb26e53e8f7197689290b29bb13..c944b2bfe7191689408cb84a7a5bdd5dea424da0 100644 --- a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/help.html +++ b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/help.html @@ -2,7 +2,14 @@
To load a script it needs to be called in the main script. - For example to load the script cpwob() type cpwob; in the body of the script main()
+ For this right click to the scripts declaration and select "Set as Mainscript". + + +These example scripts are only for demonstration purposes, +the underlying verification system just needs to be invoked with the automatic strategy "auto". +This can be seen in the first script. + +The interactive script is to demonstrate the interactive rule applications.