From 70b19d5fd6ddd037a15196474945811a8016aa26 Mon Sep 17 00:00:00 2001 From: Kevin Zakka Date: Mon, 23 May 2022 12:04:13 -0700 Subject: [PATCH] Typo fixes in programming.rst. PiperOrigin-RevId: 450494768 Change-Id: I039430931c3357135724aaccff609bd8fd8a2553 --- doc/programming.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/programming.rst b/doc/programming.rst index 754b9353..3a770c90 100644 --- a/doc/programming.rst +++ b/doc/programming.rst @@ -40,12 +40,12 @@ UI framework Getting started ~~~~~~~~~~~~~~~ -MuJoCo is an open source project. Pre-built dynamic libraries are available for x86_64 and arm64 machines running +MuJoCo is an open-source project. Pre-built dynamic libraries are available for x86_64 and arm64 machines running Windows, Linux, and macOS. These can be downloaded from the `GitHub Releases page `_. Users who do not intend to develop or modify core MuJoCo code are encouraged to use our pre-built libraries, as these -come bundled with the same versions of dependencies those that we regularly test against, and benefit from build flags +come bundled with the same versions of dependencies that we regularly test against, and benefit from build flags that have been tuned for performance. Our pre-built libraries are almost entirely self-contained and do not require -other any library to be present, other than the standard C runtime. We also hide all symbols corresponding apart from +any other library to be present, outside the standard C runtime. We also hide all symbols apart from those that form MuJoCo's public API, thus ensuring that it can coexist with any other libraries that may be loaded into the process (including other versions of libraries that MuJoCo depends on).