Skip to content
Snippets Groups Projects
Commit a7e519af authored by Guzman Llambias's avatar Guzman Llambias
Browse files

Replace gateway-history.html

parent 52e792fa
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
gateway-prob-animation/abstract-machine/gateway-history.html
+ 1
− 1
View file @ a7e519af
...@@ -758,7 +758,7 @@ ...@@ -758,7 +758,7 @@
</div> </div>
<button type="button" class="collapsible-style">Info</button> <button type="button" class="collapsible-style">Info</button>
<div class="coll-content-vis visb-messages"> <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 package: event_b_project
<br>Main specification name: CCTx_Abstract_Animation_m2 <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) <br>Main VisB JSON file: gateway-vis-file.json (modified on 6/4/2024 at 19:41)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment