deploy: c7d840d

docs/adr/006rfc-unit-testing.html

@@ -826,7 +826,7 @@ <h2><a class="header" href="#7-what-do-you-think" id="7-what-do-you-think">7. Wh
 <p>Let us know:</p>
 <ul>
 <li>
-<p>At <a href="https://informal-systems.zulipchat.com/#narrow/stream/265309-apalache">Apalache Zulip stream</a>,</p>
+<p>At <a href="https://apalache.discourse.group/">Apalache Discourse</a>,</p>
 </li>
 <li>
 <p>On <a href="https://twitter.com/ApalacheTLA">ApalacheTLA Twitter</a>,</p>

docs/print.html

@@ -1372,7 +1372,7 @@ <h2><a class="header" href="#discussion" id="discussion">Discussion</a></h2>
 did not discuss non-determinism, as our specification is entirely
 deterministic. We will demonstrate advanced features in future tutorials.</p>
 <p>If you are experiencing a problem with Apalache, feel free to <a href="https://github.com/informalsystems/apalache/issues">open an issue</a>
-or drop us a message on <a href="https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache">Zulip chat</a>.</p>
+or drop us a message on <a href="https://apalache.discourse.group/">Discourse</a>.</p>
 <h1><a class="header" href="#tutorial-on-the-snowcat-type-checker" id="tutorial-on-the-snowcat-type-checker">Tutorial on the Snowcat❄🐱 Type Checker</a></h1>
 <p><strong>Difficulty: Blue trail – Easy</strong></p>
 <p><strong>Revision:</strong> August 24, 2022</p>
@@ -1625,7 +1625,7 @@ <h2><a class="header" href="#further-reading" id="further-reading">Further readi
 type checker. To learn about type aliases, see <a href="tutorials/../HOWTOs/howto-write-type-annotations.html">HOWTO on writing type
 annotations</a>.</p>
 <p>If you are experiencing a problem with Snowcat, feel free to <a href="https://github.com/informalsystems/apalache/issues">open an issue</a>
-or drop us a message on <a href="https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache">Zulip chat</a>.</p>
+or drop us a message on <a href="https://apalache.discourse.group/">Discourse</a>.</p>
 <h1><a class="header" href="#tutorial-on-checking-pluscal-specifications-with-apalache" id="tutorial-on-checking-pluscal-specifications-with-apalache">Tutorial on checking PlusCal specifications with Apalache</a></h1>
 <p><strong>Difficulty: Blue trail – Easy</strong></p>
 <p>In this short tutorial, we show how to annotate a <a href="https://github.com/tlaplus/Examples/blob/master/specifications/Bakery-Boulangerie/Bakery.tla">PlusCal specification</a> of
@@ -1866,7 +1866,7 @@ <h2><a class="header" href="#conclusion" id="conclusion">Conclusion</a></h2>
 <code>N=4</code>).</li>
 </ul>
 <p>If you are experiencing a problem with Apalache, feel free to <a href="https://github.com/informalsystems/apalache/issues">open an issue</a>
-or drop us a message on <a href="https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache">Zulip chat</a>.</p>
+or drop us a message on <a href="https://apalache.discourse.group/">Discourse</a>.</p>
 <h2><a class="header" href="#further-reading-1" id="further-reading-1">Further reading</a></h2>
 <ul>
 <li><a href="tutorials/./entry-tutorial.html">Entry-level Tutorial on the Model Checker</a></li>
@@ -13986,7 +13986,7 @@ <h2><a class="header" href="#7-what-do-you-think" id="7-what-do-you-think">7. Wh
 <p>Let us know:</p>
 <ul>
 <li>
-<p>At <a href="https://informal-systems.zulipchat.com/#narrow/stream/265309-apalache">Apalache Zulip stream</a>,</p>
+<p>At <a href="https://apalache.discourse.group/">Apalache Discourse</a>,</p>
 </li>
 <li>
 <p>On <a href="https://twitter.com/ApalacheTLA">ApalacheTLA Twitter</a>,</p>

docs/tutorials/entry-tutorial.html

@@ -1346,7 +1346,7 @@ <h2><a class="header" href="#discussion" id="discussion">Discussion</a></h2>
 did not discuss non-determinism, as our specification is entirely
 deterministic. We will demonstrate advanced features in future tutorials.</p>
 <p>If you are experiencing a problem with Apalache, feel free to <a href="https://github.com/informalsystems/apalache/issues">open an issue</a>
-or drop us a message on <a href="https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache">Zulip chat</a>.</p>
+or drop us a message on <a href="https://apalache.discourse.group/">Discourse</a>.</p>
 
                     </main>
 

docs/tutorials/pluscal-tutorial.html

@@ -410,7 +410,7 @@ <h2><a class="header" href="#conclusion" id="conclusion">Conclusion</a></h2>
 <code>N=4</code>).</li>
 </ul>
 <p>If you are experiencing a problem with Apalache, feel free to <a href="https://github.com/informalsystems/apalache/issues">open an issue</a>
-or drop us a message on <a href="https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache">Zulip chat</a>.</p>
+or drop us a message on <a href="https://apalache.discourse.group/">Discourse</a>.</p>
 <h2><a class="header" href="#further-reading" id="further-reading">Further reading</a></h2>
 <ul>
 <li><a href="./entry-tutorial.html">Entry-level Tutorial on the Model Checker</a></li>

docs/tutorials/snowcat-tutorial.html

@@ -422,7 +422,7 @@ <h2><a class="header" href="#further-reading" id="further-reading">Further readi
 type checker. To learn about type aliases, see <a href="../HOWTOs/howto-write-type-annotations.html">HOWTO on writing type
 annotations</a>.</p>
 <p>If you are experiencing a problem with Snowcat, feel free to <a href="https://github.com/informalsystems/apalache/issues">open an issue</a>
-or drop us a message on <a href="https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache">Zulip chat</a>.</p>
+or drop us a message on <a href="https://apalache.discourse.group/">Discourse</a>.</p>
 
                     </main>