publish: consistnt brackets

generated from commit 9e85dec
WebAssembly · Oct 10, 2023 · 41ccc28 · 41ccc28
1 parent 007ee97
commit 41ccc28
Show file tree

Hide file tree

Showing 7 changed files with 579 additions and 579 deletions.
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
diff --git a/core/appendix/index-instructions.html b/core/appendix/index-instructions.html
diff --git a/core/bikeshed/index.html b/core/bikeshed/index.html
diff --git a/core/exec/relaxed.html b/core/exec/relaxed.html
@@ -121,7 +121,7 @@ <h3 id="searchlabel">Quick search</h3>
 \href{../exec/relaxed.html#relaxed-aux}{\mathrm{susp}}(\href{../syntax/values.html#syntax-int}{\mathit{u32}}, \href{../exec/runtime.html#syntax-act}{\mathsf{woken}}~\href{../exec/runtime.html#syntax-reg}{\mathit{reg}}[\href{../syntax/values.html#syntax-int}{\mathit{u32}}])     &amp; = &amp; \href{../exec/runtime.html#syntax-act}{\mathsf{woken}}~\href{../exec/runtime.html#syntax-reg}{\mathit{reg}}[\href{../syntax/values.html#syntax-int}{\mathit{u32}}] \\
 \href{../exec/relaxed.html#relaxed-aux}{\mathrm{susp}}(\href{../syntax/values.html#syntax-int}{\mathit{u32}}, \href{../exec/runtime.html#syntax-act}{\mathsf{timeout}}~\href{../exec/runtime.html#syntax-reg}{\mathit{reg}}[\href{../syntax/values.html#syntax-int}{\mathit{u32}}])   &amp; = &amp; \href{../exec/runtime.html#syntax-act}{\mathsf{timeout}}~\href{../exec/runtime.html#syntax-reg}{\mathit{reg}}[\href{../syntax/values.html#syntax-int}{\mathit{u32}}] \\
 \href{../exec/relaxed.html#relaxed-aux}{\mathrm{susp}}(\href{../syntax/values.html#syntax-int}{\mathit{u32}}, \href{../exec/runtime.html#syntax-act}{\mathsf{notify}}~\href{../exec/runtime.html#syntax-reg}{\mathit{reg}}[\href{../syntax/values.html#syntax-int}{\mathit{u32}}]~\href{../syntax/values.html#syntax-int}{\mathit{u32}}'~\href{../syntax/values.html#syntax-int}{\mathit{u32}}'')     &amp; = &amp; \href{../exec/runtime.html#syntax-act}{\mathsf{notify}}~\href{../exec/runtime.html#syntax-reg}{\mathit{reg}}[\href{../syntax/values.html#syntax-int}{\mathit{u32}}]~\href{../syntax/values.html#syntax-int}{\mathit{u32}}'~\href{../syntax/values.html#syntax-int}{\mathit{u32}}'' \\
-\href{../exec/relaxed.html#relaxed-aux}{\mathrm{susp}}(\href{../syntax/values.html#syntax-int}{\mathit{u32}}, \href{../exec/runtime.html#syntax-act}{\mathit{act}})     &amp; = &amp; \epsilon \qquad \mathrel{\mbox{otherwise}} \\
+\href{../exec/relaxed.html#relaxed-aux}{\mathrm{susp}}(\href{../syntax/values.html#syntax-int}{\mathit{u32}}, \href{../exec/runtime.html#syntax-act}{\mathit{act}})     &amp; = &amp; \epsilon \qquad (\mathrel{\mbox{otherwise}}) \\
 &amp;&amp;\\
 \href{../exec/relaxed.html#relaxed-aux}{\mathrm{read}}(\href{../exec/runtime.html#syntax-act}{\mathsf{rd}}_{\href{../exec/runtime.html#syntax-ord}{\mathit{ord}}}~\href{../exec/runtime.html#syntax-loc}{\mathit{loc}}~\href{../syntax/values.html#syntax-byte}{\mathit{byte}}^\ast~\href{../exec/runtime.html#syntax-ord}{\mathsf{notears}}^?)    &amp; = &amp; \href{../syntax/values.html#syntax-byte}{\mathit{byte}}^\ast \\
 \href{../exec/relaxed.html#relaxed-aux}{\mathrm{read}}(\href{../exec/runtime.html#syntax-act}{\mathsf{rmw}}~\href{../exec/runtime.html#syntax-loc}{\mathit{loc}}~{\href{../syntax/values.html#syntax-byte}{\mathit{byte}}_1}^\ast~{\href{../syntax/values.html#syntax-byte}{\mathit{byte}}_2}^\ast)  &amp; = &amp; {\href{../syntax/values.html#syntax-byte}{\mathit{byte}}_1}^\ast \\

diff --git a/core/searchindex.js b/core/searchindex.js
diff --git a/js-api/index.html b/js-api/index.html
@@ -7,7 +7,7 @@
   <meta content="This document provides an explicit JavaScript API for interacting with WebAssembly." name="abstract">
   <meta content="Bikeshed version 89ebb6ab, updated Fri Oct 9 15:32:07 2020 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-js-api-2/" rel="canonical">
-  <meta content="34b9a229377335d3fd69f7adbb57e7f2249ce714" name="document-revision">
+  <meta content="9e85decb05eb3ddcca7783661bdb30b3b575e26f" name="document-revision">
 <style>
 emu-const {
     font-family: serif;

diff --git a/web-api/index.html b/web-api/index.html
@@ -7,7 +7,7 @@
   <meta content="This document describes the integration of WebAssembly with the broader web platform." name="abstract">
   <meta content="Bikeshed version 89ebb6ab, updated Fri Oct 9 15:32:07 2020 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-web-api-2/" rel="canonical">
-  <meta content="34b9a229377335d3fd69f7adbb57e7f2249ce714" name="document-revision">
+  <meta content="9e85decb05eb3ddcca7783661bdb30b3b575e26f" name="document-revision">
 <style>/* style-autolinks */
 
 .css.css, .property.property, .descriptor.descriptor {