Sync website for native with Kappa-Dev/KaSim@

Kappa-Dev · Mar 15, 2024 · 07f4dc1 · 07f4dc1
1 parent 584a8ce
commit 07f4dc1
Showing 1 changed file with 13 additions and 13 deletions.
diff --git 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 40b5295)</title> 
+(release 4b8a875)</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 40b5295)</h2>
+(release 4b8a875)</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 (40b5295) (without Tk interface)
-Analysis launched at 2024/03/14 09:01:18 (GMT+0) on
-fv-az661-325
+Kappa Static Analyzer (4b8a875) (without Tk interface)
+Analysis launched at 2024/03/15 15:33:45 (GMT+0) on
+fv-az1240-72
 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 (40b5295) (without Tk interface)
-Analysis launched at 2024/03/14 09:01:18 (GMT+0) on
-fv-az661-325
+Kappa Static Analyzer (4b8a875) (without Tk interface)
+Analysis launched at 2024/03/15 15:33:45 (GMT+0) on
+fv-az1240-72
 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 (40b5295) (without Tk interface)
-Analysis launched at 2024/03/14 09:01:17 (GMT+0) on
-fv-az661-325
+Kappa Static Analyzer (4b8a875) (without Tk interface)
+Analysis launched at 2024/03/15 15:33:44 (GMT+0) on
+fv-az1240-72
 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">837876963</span></span><span 
+class="ectt-1095">869929073</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;651552853&#x0022;</span></span><span 
+class="ectt-1095">&#x0022;758963340&#x0022;</span></span><span 
 class="ectt-1095"> </span><br /> 
 <span class="label"><a 
  id="x1-87013r3"></a></span><span style="color:#000000"><span