Merge pull request #96 from JuliaReach/schillic/invalid

Fix invalid characters

README.md

@@ -37,4 +37,4 @@ using Pkg
 Pkg.clone("https://github.com/JuliaReach/SpaceExParser.jl")
 ```
 
-*Dependencies*. This package relies on the interfaces defined in [HybridSystems.jl](https://github.com/blegat/HybridSystems.jl) and [MathematicalSystems.jl](https://github.com/JuliaReach/MathematicalSystems.jl). To handle XML files, we use [EzXML.jl](https://github.com/bicycle1885/EzXML.jl). Symbolic algebraic manipulations are performed with [SymEngine](https://github.com/symengine/SymEngine.jl).
+*Dependencies*. This package relies on the interfaces defined in [HybridSystems.jl](https://github.com/blegat/HybridSystems.jl) and [MathematicalSystems.jl](https://github.com/JuliaReach/MathematicalSystems.jl). To handle XML files, we use [EzXML.jl](https://github.com/bicycle1885/EzXML.jl). Symbolic algebraic manipulations are performed with [SymEngine](https://github.com/symengine/SymEngine.jl).

src/io.jl

@@ -57,7 +57,7 @@ Moreover, let us note that:
 7) The `resetmaps` field consists of the vector of tuples `(assignment, guard)`, for each
    location.
 
-These comments apply whenever `raw_dict=false`:
+These comments apply whenever `raw_dict=false`:
 
 1) The field `variables` is an ordered dictionary, where the order is given by the
    insertion order. This allows deterministic iteration over the dictionary,

src/symbolic.jl

@@ -26,7 +26,7 @@ The tuple `(modes, resetmaps)`.
     for them), otherwise these are interpreted as input variables (there is not an
     ODE for them).
 2) If the system has nonlinearities, then some first order derivatives cannot
-   be evaluated to numbers, and this function does not apply. In that case, you
+   be evaluated to numbers, and this function does not apply. In that case, you
    will see the error message: `ArgumentError: symbolic value cannot be
    evaluated to a numeric value`.
 3) We assume that inequalities in invariants are of the form `ax <= b` or `ax >= b`,