diff --git a/gateway-prob-animation/abstract-machine/gateway-history.html b/gateway-prob-animation/abstract-machine/gateway-history.html
index fb275ffa36addaa785e37acb780874d6da5b51fe..3b8f3ff8eed4fe2bc2aefd247b240fb6604b7938 100644
--- a/gateway-prob-animation/abstract-machine/gateway-history.html
+++ b/gateway-prob-animation/abstract-machine/gateway-history.html
@@ -758,7 +758,7 @@
  </div>
  <button type="button" class="collapsible-style">Info</button>
 <div class="coll-content-vis visb-messages">
-Generated on 6/4/2024 at 19:46 using ProB version 1.12.2-final
+Generated on 10/4/2024 at 17:50 using ProB version 1.12.2-final
 <br>Main specification package: event_b_project
 <br>Main specification name: CCTx_Abstract_Animation_m2
 <br>Main VisB JSON file: gateway-vis-file.json (modified on 6/4/2024 at 19:41)