Skip to content
Snippets Groups Projects
Commit c78847bd authored by Fabian Vu's avatar Fabian Vu
Browse files

Update links in LandingGear_R6 HTML with gears and doors

parent bb911c4e
Branches
No related tags found
No related merge requests found
......@@ -57,14 +57,14 @@
<div class="state_view_header collapsed" onclick="collapse(this)">Invariant</div>
</div>
</div>
<script type="module" src="./immutable/dist/immutable.es.js"></script>
<script type="module" src="./btypes/BTuple.js"></script>
<script type="module" src="./btypes/BRelation.js"></script>
<script type="module" src="./btypes/BBoolean.js"></script>
<script type="module" src="./btypes/BSet.js"></script>
<script type="module" src="./btypes/BObject.js"></script>
<script type="module" src="./LandingGear_R6.js"></script>
<script type="module" src="./LandingGear_R6-visualisation.js" defer></script>
<script type="module" src="https://favu100.github.io/b2program/visualizations/LandingGear/GearsDoors/immutable/dist/immutable.es.js"></script>
<script type="module" src="https://favu100.github.io/b2program/visualizations/LandingGear/GearsDoors/btypes/BTuple.js"></script>
<script type="module" src="https://favu100.github.io/b2program/visualizations/LandingGear/GearsDoors/btypes/BRelation.js"></script>
<script type="module" src="https://favu100.github.io/b2program/visualizations/LandingGear/GearsDoors/btypes/BBoolean.js"></script>
<script type="module" src="https://favu100.github.io/b2program/visualizations/LandingGear/GearsDoors/btypes/BSet.js"></script>
<script type="module" src="https://favu100.github.io/b2program/visualizations/LandingGear/GearsDoors/btypes/BObject.js"></script>
<script type="module" src="https://favu100.github.io/b2program/visualizations/LandingGear/GearsDoors/LandingGear_R6.js"></script>
<script type="module" src="https://favu100.github.io/b2program/visualizations/LandingGear/GearsDoors/LandingGear_R6-visualisation.js" defer></script>
</body>
<script>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment