www/server/staging software-patents.html

[Dora Scilipoti]

CVSROOT:        /web/www
Module name:    www
Changes by:     Dora Scilipoti <dora>   22/12/05 18:28:39

Modified files:
        server/staging : software-patents.html 

Log message:
        A couple of fixes in my previous commit.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/server/staging/software-patents.html?cvsroot=www&r1=1.2&r2=1.3

Patches:
Index: software-patents.html
===================================================================
RCS file: /web/www/www/server/staging/software-patents.html,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -b -r1.2 -r1.3
--- software-patents.html       5 Dec 2022 23:10:21 -0000       1.2
+++ software-patents.html       5 Dec 2022 23:28:39 -0000       1.3
@@ -297,7 +297,7 @@
 Heckel</a> sued Apple, claiming that Hypercard infringed a couple of
 his <a href="https://patents.justia.com/patent/4486857";>patents</a>.
 When he first saw Hypercard, he didn't think it had anything to do
-with with his &ldquo;inventions.&rdquo;  It didn't look
+with his &ldquo;inventions.&rdquo;  It didn't look
 similar.  But his lawyer told him that you could read the patents as
 covering part of Hypercard, so he decided to then attack Apple.
 <span class="gnun-split"></span>When I gave a
@@ -430,7 +430,7 @@
 we started looking for some other algorithm for data compression.
 Somebody wrote to us saying he had one. He had written a program and
 he decided to contribute it to us.  We were going to release it, and just
-by chance I happened to see a copy of the <cite>New York Times</cite> that
+by chance I happened to see a copy of the <cite>New York Times</cite> {that}
 happened to have the weekly patent column in it.  I didn't see a copy
 of the <cite>Times</cite> more than once every few months.  So I looked at
 it, and it said that somebody had got a patent for &ldquo;inventing a new
@@ -1383,7 +1383,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2022/12/05 23:10:21 $
+$Date: 2022/12/05 23:28:39 $
 <!-- timestamp end -->
 </p>
 </div>