Doc and typo fixes

src/doc/Makefile.in

@@ -69,7 +69,7 @@
 #
 # "make doc" builds book.pdf and the .html files and copies everything
 # into the src/doc/html directory. The content of the html directory
-# can be committed to the the
+# can be committed to the
 # https://github.com/fricas/fricas.github.io repository.
 #
 # "make localdoc" is like "make doc" except that links point to the local
@@ -180,7 +180,7 @@ UGEPSF        = ${AWK} -f ${srcdir}/ugepsf.awk
 # 12   Categories
 # 13   Domains
 # 14   Browse
-# 15   What's New in AXIOM Version 2.x
+# 15   What's New in FriCAS
 # Here starts the appendix.
 # 16   \Language{} System Commands
 # 17 o Categories (List)

src/doc/htex/REGSET.htex

@@ -204,7 +204,7 @@ the four variables are completely determined and thus
 these sets have dimension zero.
 
 We give now the precise specifications of each decomposition.
-This assume some mathematical knowledge.
+This assumes some mathematical knowledge.
 However, for the non-expert user, the above explanations will
 be sufficient to understand the other features of the
 \spadtype{RSEGSET} constructor.
@@ -380,15 +380,15 @@ Define a polynomial system.
 \end{texonly}
 \xtc{
 Let us try the information option.
-N.B. The timing should be between 1 and 10 minutes, depending on your machine.
+%N.B. The timing should be between 1 and 10 minutes, depending on your machine.
 }{
 \spadcommand{zeroSetSplit(lq,true,true)\$T; \free{lq} \free{T}}
 }
 
 Between a sequence of processes, thus between a \spad{]} and a \spad{[}
 you can see capital letters \spad{W, G, I} and lower case letters
 \spad{i, w}. Each time a capital letter appears a non-trivial computation
-has be performed and its result is put in a hash-table.
+has been performed and its result is put in a hash-table.
 Each time a lower case letter appears a needed result has been
 found in an hash-table.
 The use of these hash-tables generally speed up the computations.
@@ -442,6 +442,4 @@ even if the {\em Primeidealkettensatz} is used.
 Thus just try both, with the various options, before concluding
 that you cannot solve your favorite system with \spadfun{zeroSetSplit}.
 There exist more options at the development level that are not
-currently available in this public version.
-So you are welcome to contact {\em [email protected]} for more
-information and help.
+listed above.

src/interp/int-top.boot

@@ -50,7 +50,7 @@ are doing a lot of debugging. Commands can also be executed in the
 underlying common lisp by using the [[)lisp]] command.
 
 If the user typed [[)fin]] then we exit the loop and drop into the
-underlying common lisp. You can use the [[(restart)]] function call
+underlying common lisp. You can use the "(|fricas_restart|)" function call
 to return to the top level loop.
 
 If the input line starts with a close parenthesis we parse the