Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool

build.txt

-13563
\ No newline at end of file
+13571
\ No newline at end of file

src/main/java/ui/avatarsmd/AvatarSMDTransitionInfo.java

@@ -530,6 +530,11 @@ public class AvatarSMDTransitionInfo extends TGCWithoutInternalComponent impleme
         //TraceManager.addDev("Max delay:" + jdat.getAfterMax().trim());
         afterDelay.getMinExpression().setText( jdat.getAfterMin().trim() );
         afterDelay.getMaxExpression().setText( jdat.getAfterMax().trim() );
+
+        computeDelay.getMinExpression().setText( "");
+        computeDelay.getMaxExpression().setText( "" );
+
+
         String retExtra = jdat.getExtraDelay1().trim();
         try {
             double extra1 = Double.parseDouble(retExtra);

src/main/java/ui/util/DefaultText.java

@@ -50,8 +50,8 @@ package ui.util;
  */
 public class DefaultText {
 
-    public static String BUILD = "13562";
-    public static String DATE = "2020/09/30 03:13:38 CET";
+    public static String BUILD = "13570";
+    public static String DATE = "2020/10/06 03:13:34 CET";
 
     public static StringBuffer sbAbout = makeAbout();
 

src/main/resources/help/avatarsafetypragmas.html

@@ -41,7 +41,7 @@
 </center>
 <h2 id="e-properties-1">E&lt;&gt; properties</h2>
 <center>
-<img src="file:../help/ctleall_small.png" />
+<img src="file:../help/ctleone_small.png" />
 </center>
 <h2 id="leads-to-properties">“Leads to” properties</h2>
 <p>“p –&gt; q” means that whenever p is encoutred in a state s, all paths starting from state s must have a state in which q is satisfied.</p>

src/main/resources/help/avatarsafetypragmas.md

@@ -43,7 +43,7 @@ means that the attribute "x" of block "Block1" is always strictly positive.
 ## E<> properties
 
 <center>
-![](file:../help/ctleall_small.png)
+![](file:../help/ctleone_small.png)
 </center>