[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Example specs of the video course
- From: Ravi Shankar <sankarsana@xxxxxxxxx>
- Date: Sat, 28 May 2022 04:52:40 -0700 (PDT)
- Ironport-data: A9a23:Evme6aAsK6zqFhVW/7Lmw5YqxClBgxIJ4kV8jS/XYbTApGsl32EPy DEaWG+FOqqLY2rwc912YIqy8k0GuMTRyINjOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6j8lkf5KkYAL+EnkZqTRMFWFw0HqPp8Zj2tQy2YXjU1vU0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYoxuYse1/8 Yhvj5mTGDwnYrTxwdxCSSANRkmSPYUekFPGCX22sMjW1lGfNnW1k6ooA0YxMokVvO1wBAmi9 9RCcGFLPk3F3rzuhuvrFYGAhex7RCXvFJ8bs2lk0CqaB/Ata7z7HZfwuoFj8RYKrOtrR8T1R OM8RgNCUTPjXDN1E38YD5UxmOqnnH7iayYeo1WQzUYyyzGOllwpiem2WDbTUvyWb8J4sE+8n Wjp9WeiMChGFNCa0DXQpxpAgceWxX+hMG4IL5W09+VhnUaI7nAXAVsTTkH+oP+ji0f4WtRFK kVS9DBGkEQp3EmiT924RgHh5XDd7kFaVN1XHOk3rgqKz8I4/jp1GEAqXxB8ZuV7lvUzZm0R2 AOQoorRWiZW5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiNFj5v4oZoYzeJNZnuEZChmrn G/X9HlWa6E7yJ9Uh//irDgrlhr1/sCRJjPZ8Dk7SY5M0++UTIusZojt8ESCqPgZfNnfQV6Gs 3wJ3cOZ6Yji7K1hdgTSHI3h/5nzvZ5p1QEwZ3YzTvHNEBzxqhaekXh4um0WGauQGp9slcXVS EHSoxhNw5RYIWGna6R6C6roVZlxk/e+To+9DquKBjarXnSXXF/XlM2JTR7At10BbGBx+U3CE czGK5bzVyxy5VpPnWXuHo/xLoPHNghnnT+JLXwK5xug1rWaaRaopUQtYTOzghQCxPLUyC2Mq 4g3H5LTl313DbOjCgGKr997BQ1afBATWMGqw+QKJ77rClQ8RAkJVaSLqZt/INwNokigvrugE oeVBxQGmDISRBTvcm23V5yUQOi1B8on8S9iZnZE0JTB8yFLXLtDJZw3L/MfFYTLPsQ5pRKtZ /VaKciGHNpVTTHLp2YUYZXn9dIwexOsigaDMDCifSAkOZVnQlWRqNPjewLu8ggIDza25Jtl+ OT7iV2ETMpRXRlmAebXdOmrkwG7s08blb8gREDPONRSJBjh/dEyeSz8h/M6Oe8WLhDHymfI3 gqaG0ZKquzEootz+97M3PjWo4CsGup4P0xbA2iLtebsZXeGpjKumNYSXvyJcDbRUHLP1J+jP egFnevhNPAnnUpRt9UuHrtuy5U47YS9qrJfyDNiAyyXPVmmD7VXIk6G09NKgatDy+ILogCxQ E+OpoBXNLjQY5HlHVcdKRAfY/yHxO0TnjWOv/05LF+jun14+72IVUhdJR6RkDcbJ7xwadt3z eAksc8Qygq+lht7Yo3d13sLqTuBfi4aTqEqlpAGG4u32AAl/VdPPM7HASjs7ZDTNthBPxV4I jKQg6ae1b1QylCYLyg2HHnJmPNB3NEA4UAVilAFIFuNl5zOgfpuhE9d9jE+TwJ0yBRb0rIsZ jI6aRUtfajerS11gMVjXny3H10TDhOu/EGsmUACk3fUThX1W2Gcfmk8Ivqw+lsE+WZQImpS8 L2Clja3VD/reN32jCQ1XkFhpvP5SsFp7UjHkcauEMnGRMZqMGa43P/xPDNW6AbhGt47n0bdp ONn1Ol3bqL/OCEKpLAjEM+R0rFJEEKII2lLQPdA+qIVHDCMI2rrgmfQdE3hKNlQI/Hq8FOjD 5A8LMx4URnjhj2FqSoWBPJRLrJ4wKwg6NYYJuK5JXIaq6DN6X1mqpXN7jO4i2gsTNFj1806L 8TebTWfCiuMgXJMn3LW69JZMHGze9gOaQDxgLKv/OMSG85Rue1gaxtugL69vnHQKRc+uhzN7 FyFaKjRwOhvj49rmtK0QKlEAgy1L/L1VfiJoF/v6YUQNYuXPJecrR4Rp3nmIx9SYekbVeNxm Onfq9Xwxk7E4Os7Xm2xd0NtzEWVCRhenda7M/4b6FFflCqGHdbwul4NojDnb5NOl9xZ64+sQ A7QhA5cszIKc481+ZGXQ3E2/9Uh52DfYaDnqiewoO6LFwAGlwfAKbtLMFf3OHpDeHZg14LWU 2fJVjXH2jychItLAxAACv58BIJgOxnoXq5Omxgdc9WHJjHAv25ucYcOWfbtBf8nx5VE/AvHD Ur5eyXD
- Ironport-hdrordr: A9a23:4rMCS6DzzN+ADublHekz55DYdb4zR+YMi2TDtnoBMyC9F/bz+v xG885rsSMc5AxhP03Jd7i7Sd29qV21z+8B3WBTB8bSYOHe0FHYXr2KlLGStAEIeBeOjdK0YM xbAtZD4aPLfCFHZJ3BkXaF+r8bqbHtgcKVbIHlvgtQpC5RBJ2IhD0JcjpzfHcGIjWvxPICZf mhDwl8yQZIu056UiwKbUN1LNQra+erqHoXCiR2eiLPITPv/FaVwY+/KQGR2lM1Uj9Ew7sutU jD1yLj4Lm72svLuiPh6w==
- Ironport-sdr: AZ+5Z6KpVLEEC89eB8nPcNUepRfsBoQcoSHTjgPlbLQzXIm4ey2zFBgNvPBO0+XCrHYcYojKbT mhivinUkOkQUb0mh3iGDUFSOUW1+aS/jQxG5UmVoNdR2vm/jsU/viNmw9b0bDeXQtc0sSY/wkN ZKHgYzCC8bUac7FZ9254CsF5kUzNV/u9N5STPz6afwjmBs/PpaYToABmCbfevU/nLKnOc95ser zCqBb27BRhrYj4nmulwpENhjqW41wGGn62LH/CB6vISfK7MOcXRWLNrodeIujM4+rjjbUMRItR YPOjkATY+hgnyUG2w/Vc36Qr
Where can I find the specs to copy and paste in the TLA+ toolbox? I can't find them in The TLA Toolbox website.
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/5813010e-b80d-4724-8ef7-a24b219bf06bn%40googlegroups.com.