Merge branch 'main' into genwrap

Author: krame505

.github/workflows/install_dependencies_doc_macos.sh

@@ -2,4 +2,4 @@
 
 brew update
 
-brew install mactex-no-gui
+brew install texlive

README.md

@@ -2,10 +2,12 @@
 
 # Bluespec Compiler
 
-[![Version]](https://github.com/B-Lang-org/bsc/releases/tag/2024.01) [![License]](./COPYING) [![Build Status]](https://github.com/b-lang-org/bsc/actions?query=workflow%3ACI+event%3Apush)
+[![Version]](https://github.com/B-Lang-org/bsc/releases/tag/2024.07)
+[![License]](./COPYING)
+[![Build Status]](https://github.com/b-lang-org/bsc/actions?query=workflow%3ACI+event%3Apush)
 
 [License]:        https://img.shields.io/badge/license-BSD%203-blueviolet.svg
-[Version]:        https://img.shields.io/badge/release-2024.01-red.svg?logo=v
+[Version]:        https://img.shields.io/badge/release-2024.07-red.svg?logo=v
 [Build Status]:   https://github.com/b-lang-org/bsc/workflows/CI/badge.svg?branch=main&event=push
 
 **[Community] • [Download] • [Documentation] • [Build] • [Test]**

doc/libraries_ref_guide/LibDoc/Prelude.tex

@@ -1298,7 +1298,7 @@ \subsubsection{BitExtend}
 \cline{2-2}
 &\begin{libverbatim}
 function x#(m) truncate (x#(n) d)
-   provisos (Add#(k, n, m));
+   provisos (Add#(k, m, n));
 \end{libverbatim}
 \\
 \hline