some docu updates

Author: ederc

docs/make.jl

@@ -4,7 +4,7 @@ using LinearAlgebra
 using AlgebraicSolving
 using Documenter
 
-push!(LOAD_PATH, "../src")
+#= push!(LOAD_PATH, "../src") =#
 
 include("../src/imports.jl")
 include("../src/exports.jl")
@@ -19,18 +19,16 @@ makedocs(
     modules = [AlgebraicSolving],
     doctest = true,
     clean = true,
+    strict = true,
     sitename = "AlgebraicSolving.jl",
-    format = Documenter.HTML(),
-    pages = Any[
-        "Introduction" => "index.md",
-        "User Guide" => Any[
-            "Data Types" => "types.md",
-            "Algorithms" => ["algorithms/groebner-bases.md",
-                    "algorithms/solvers.md"],
-            "Examples" => "examples/katsura.md"
-        ],
-    ],
-    strict = true
+    format = Documenter.HTML(prettyurls = !local_build, collapselevel = 1),
+    pages = [
+        "About" => "index.md",
+        "Data Types" => "types.md",
+        "Algorithms" => ["algorithms/groebner-bases.md",
+                         "algorithms/solvers.md"],
+        "Examples" => "examples/katsura.md"
+        ]
 )
 
 # Deploy built documentation from Travis.

docs/src/algorithms/solvers.md

@@ -6,7 +6,7 @@ CurrentModule = AlgebraicSolving
 
 ## Introduction
 
-Algebraic Solving allows to solve systems for input generators over finite
+AlgebraicSolving allows to solve systems for input generators over finite
 fields of characteristic smaller $2^{31}$ and over the rationals.
 
 The underlying engine is provided by msolve.

docs/src/index.md

@@ -5,8 +5,10 @@ language, maintained by Christian Eder and Mohab Safey El Din.
 
 - <https://github.com/algebraic-solving/AlgebraicSolving.jl> (Source code)
 
-The features of AlgebraicSolving so far includes algorthms for computing
+The features of AlgebraicSolving include algorithms for computing
 Gröbner bases over finite fields and for computing real solutions.
+The main workhorse of AlgebraicSolving is the [msolve
+library](https://msolve.lip6.fr/) .
 
 ## Installation
 
@@ -19,7 +21,3 @@ At the Julia prompt simply type
 ```
 julia> using Pkg; Pkg.add("AlgebraicSolving")
 ```
-
-## Quick start
-
-Here are some examples of using AlgebraicSolving....