Skip to content

Commit

Permalink
Update 0304b1-reLgpl2LingClarInc.tex
Browse files Browse the repository at this point in the history
Just a couple of typos noticed while reading the article.
  • Loading branch information
enyst committed Mar 11, 2015
1 parent 9daded5 commit abc042e
Showing 1 changed file with 2 additions and 2 deletions.
Expand Up @@ -75,7 +75,7 @@
conclude that the second term \emph{that work} refers back to the previously
introduced specification of \emph{a work containing portions of the Library}: if
a complete phrase has just been introduced explicitly, then the English language
allows to reduce its' next occurence syntactically while its' complete meaning
allows to reduce its next occurence syntactically while its complete meaning
is retained. Hence, conversely, we are allowed to unfold the reduced form to
restore the complete phrase.

Expand Down Expand Up @@ -183,7 +183,7 @@

At this point we must recommend all our readers to verify that this
'structurally explicated presentation' does exactly mean the same as the
intially quoted LGPL2-RefEng-Sentence. We are now going to discuss some of its'
initially quoted LGPL2-RefEng-Sentence. We are now going to discuss some of its
logical aspects by some formal transformations. For accepting these operations
and linking the results back to the original LGPL2-RefEng-Sentence, it is very
helpful to know that one already has accepted the equivalence of this explicated
Expand Down

0 comments on commit abc042e

Please sign in to comment.