using:tla_web_explorer

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
using:tla_web_explorer [2024/10/25 16:59] – fponziusing:tla_web_explorer [2024/10/25 17:01] (current) – fponzi
Line 7: Line 7:
 Watch the presentation: Watch the presentation:
  
-<HTML> 
-<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> 
 {{youtube>kSSWmxQLvmw?}} {{youtube>kSSWmxQLvmw?}}
  • using/tla_web_explorer.1729875595.txt.gz
  • Last modified: 2024/10/25 16:59
  • by fponzi