doc tweaks/corrections

Mathics3 · Aug 7, 2024 · 020ab20 · 020ab20
1 parent 953e9df
commit 020ab20
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/mathics/builtin/atomic/strings.py b/mathics/builtin/atomic/strings.py
@@ -347,7 +347,7 @@ class CharacterEncodings(Predefined):
       <dd>stores the list of available character encodings.
     </dl>
 
-    >> $CharacterEncodings
+    >> $CharacterEncodings[[;;9]]
      = ...
     """
 

diff --git a/mathics/doc/documentation/1-Manual.mdoc b/mathics/doc/documentation/1-Manual.mdoc
@@ -2,10 +2,7 @@
 <chapter title="Introduction">
 
 \Mathics is a <url>:computer algebra
-system:https://en.wikipedia.org/wiki/Computer_algebra_system</url>. It \
-is a free, open-source alternative to \Mathematica or the \Wolfram \
-Language. However, \Mathics builds around and on top of the Python \
-ecosystem of libraries and tools. So in a sense, you can think of it \
+system:https://en.wikipedia.org/wiki/Computer_algebra_system</url>. It is a free, open-source alternative to \Mathematica or the \Wolfram Language. However, \Mathics builds around and on top of the Python ecosystem of libraries and tools. So in a sense, you can think of it \
 as a WMA front-end to the Python ecosystem of tools.
 
 \Mathics is free both as in "free beer" but also, more importantly, as in "freedom". \Mathics can be run locally. But to facilitate installation of the vast amount of software need to run this, there is a <url>:docker image available on dockerhub: https://hub.docker.com/r/mathicsorg/mathics</url>.
@@ -55,7 +52,7 @@ Primitive types include rationals, complex numbers, and arbitrary-precision numb
 Outside of the "core" \Mathics kernel (which has a only primitive command-line interface), in separate github projects, as add-ons, there is:
 
 <ul>
-  <li>a <url>:command-line interface using either prompt-toolkit, or GNU Readline:https://pypi.org/project/mathicsscript/</url>
+  <li>a <url>:command-line interface:https://pypi.org/project/mathicsscript/</url> using either <url>:prompt-toolkit:https://python-prompt-toolkit.readthedocs.io/en/master/</url>, or GNU Readline
   <li>a <url>:Django-based web server:https://pypi.org/project/Mathics-Django/</url>
   <li>a <url>:Mathics3 module for Graphs:https://pypi.org/project/pymathics-graph/</url> (via <url>:NetworkX:https://networkx.org/</url>),
   <li>a <url>:Mathics3 module for NLP:https://pypi.org/project/pymathics-natlang/</url> (via <url>:nltk:https://www.nltk.org/</url>, <url>:spacy:https://spacy.io/</url>, and others)