aboutsummaryrefslogtreecommitdiff
path: root/tex
diff options
context:
space:
mode:
authorRaul Infante-Sainz <infantesainz@gmail.com>2020-04-14 11:00:10 +0100
committerRaul Infante-Sainz <infantesainz@gmail.com>2020-04-14 11:00:10 +0100
commit9a946b5f8245b52aa8bfd1c68ae79f3b406c758f (patch)
treef2b6bb7be06ea41499d07ae2e64aae20730630c6 /tex
parentde23a683ec8b57e75ef47d9298d7ce15e67c9af9 (diff)
Minor typos fixed up to Section 3: Principles
With this commit, just minor typos have been fixed (I am rushing over the text since we are out of time!). There are also a suggestion in order to remove a couple of phrases to try to be more aseptic when comparing with another project. But there is only an idea, take it or not as you consider.
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions