A few very minor corrections.

3-manifolds · Jan 15, 2025 · a8a5a4c · a8a5a4c
1 parent 513b31c
commit a8a5a4c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/doc_src/development.rst b/doc_src/development.rst
@@ -113,7 +113,7 @@ need to do, one must install additional tools.
   unicode version; tested with version 5.5.9.
 
 - Install whichever version of `MSYS2 <http://msys2.github.io>`_ is
-  appropriate for your version Windows.  Most commonly, you will have
+  appropriate for your version of Windows.  Most commonly, you will have
   a 64-bit Windows and hence want the "x86_64" installer; for
   concreteness the rest of these instructions assume this. (Technical
   note: even if you want to build 32-bit binaries, if your Windows is

diff --git a/doc_src/installing.rst b/doc_src/installing.rst
@@ -100,7 +100,7 @@ to do that on the most popular Linux distributions:
 
     sudo zypper install python3-pip python3-tk
 
-  For Leap, as of version 15.6 you need ask for a recent version of
+  For Leap, as of version 15.6 you need to ask for a recent version of
   Python or it will give you Python 3.6 which is too old for SnapPy::
 
     sudo zypper install python312-pip python312-tk
@@ -113,7 +113,7 @@ to do that on the most popular Linux distributions:
 
     sudo dnf install python3.11-pip python3.11-tkinter
 
-  You will need to replace ``python3`` by ``python3.11`` in subsequent
+  You will also need to replace ``python3`` by ``python3.11`` in subsequent
   steps.
 
 
@@ -157,7 +157,7 @@ User install
     error: externally-managed-environment
 
   you should probably use a virtual environment; however,
-  you can force it via::
+  you can force pip to do a user install via::
 
     # Note no "sudo" below!
     python3 -m pip install --upgrade --user --break-system-packages snappy snappy_15_knots