diff --git a/docs/KaSim-manual-/KaSim_manual.htm b/docs/KaSim-manual-/KaSim_manual.htm
index bd18cc918..72e77f6fa 100644
--- a/docs/KaSim-manual-/KaSim_manual.htm
+++ b/docs/KaSim-manual-/KaSim_manual.htm
@@ -1,7 +1,7 @@
 <!DOCTYPE html> 
 <html> 
 <head> <title>Kappa tools reference manual
-(release faf910c)</title> 
+(release c54ade4)</title> 
 <meta charset="UTF-8" /> 
 <meta name="generator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)" /> 
 <link rel="stylesheet" type="text/css" href="KaSim_manual.css" /> 
@@ -19,7 +19,7 @@
                                                                                   
 
 <h2 class="titleHead">Kappa tools reference manual<br />
-(release faf910c)</h2>
+(release c54ade4)</h2>
  <div class="author" ><span 
 class="ecrm-1200">Pierre Boutillier, J</span><span 
 class="ecrm-1200">é</span><span 
@@ -7702,9 +7702,9 @@ <h3 class="sectionHead"><span class="titlemark">6.3   </span> <a
 
                                                                                   
 <pre class="verbatim" id="verbatim-3">
-Kappa Static Analyzer (faf910c) (without Tk interface)
-Analysis launched at 2024/03/26 16:05:14 (GMT+0) on
-fv-az1245-445
+Kappa Static Analyzer (c54ade4) (without Tk interface)
+Analysis launched at 2024/03/26 16:24:17 (GMT+0) on
+fv-az532-21
 Parsing ../kappa/reachability.ka...
 done
 Compiling...
@@ -8362,9 +8362,9 @@ <h3 class="sectionHead"><span class="titlemark">6.3   </span> <a
 
                                                                                   
 <pre class="verbatim" id="verbatim-6">
-Kappa Static Analyzer (faf910c) (without Tk interface)
-Analysis launched at 2024/03/26 16:05:14 (GMT+0) on
-fv-az1245-445
+Kappa Static Analyzer (c54ade4) (without Tk interface)
+Analysis launched at 2024/03/26 16:24:17 (GMT+0) on
+fv-az532-21
 Parsing ../kappa/reachability.ka...
 done
 Compiling...
@@ -11550,9 +11550,9 @@ <h3 class="sectionHead"><span class="titlemark">6.6   </span> <a
 
                                                                                   
 <pre class="verbatim" id="verbatim-25">
-Kappa Static Analyzer (faf910c) (without Tk interface)
-Analysis launched at 2024/03/26 16:05:14 (GMT+0) on
-fv-az1245-445
+Kappa Static Analyzer (c54ade4) (without Tk interface)
+Analysis launched at 2024/03/26 16:24:17 (GMT+0) on
+fv-az532-21
 Parsing ../kappa/influence.ka...
 done
 Compiling...
@@ -12987,7 +12987,7 @@ <h5 class="subsubsectionHead"><a
 class="ectt-1095">-</span></span><span style="color:#000000"><span 
 class="ectt-1095">seed</span></span><span style="color:#000000"><span 
 class="ectt-1095"> </span></span><span style="color:#000000"><span 
-class="ectt-1095">548259171</span></span><span 
+class="ectt-1095">859421737</span></span><span 
 class="ectt-1095"> </span><br /> 
 <span class="label"><a 
  id="x1-87012r2"></a></span><span style="color:#000000"><span 
@@ -12999,7 +12999,7 @@ <h5 class="subsubsectionHead"><a
 class="ectt-1095"> </span></span><span style="color:#000000"><span 
 class="ectt-1095">:</span></span><span style="color:#000000"><span 
 class="ectt-1095"> </span></span><span style="color:#000000"><span 
-class="ectt-1095">&#x0022;277576024&#x0022;</span></span><span 
+class="ectt-1095">&#x0022;119659801&#x0022;</span></span><span 
 class="ectt-1095"> </span><br /> 
 <span class="label"><a 
  id="x1-87013r3"></a></span><span style="color:#000000"><span 
