Differences

This shows you the differences between two versions of the page.

--- using:tla_web_explorer [2024/09/28 15:58] – created - external edit 127.0.0.1
+++ using:tla_web_explorer [2024/10/25 17:01] (current) – fponzi
@@ Line 7: / Line 7: @@
 Watch the presentation:
-<HTML>
+{{youtube>kSSWmxQLvmw?}}
-<iframe width="1333" height="485" src="https://www.youtube.com/embed/kSSWmxQLvmw" title="TLA+ Conf - William Schultz - Towards Interactive Formal Specs" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen>
-</iframe>
-</HTML>