www/gnu rms-lisp.html

[Karl Berry]

CVSROOT:        /web/www
Module name:    www
Changes by:     Karl Berry <karl>       07/06/11 00:32:19

Modified files:
        gnu            : rms-lisp.html 

Log message:
        car in typewriter (ticket 336610)

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/gnu/rms-lisp.html?cvsroot=www&r1=1.10&r2=1.11

Patches:
Index: rms-lisp.html
===================================================================
RCS file: /web/www/www/gnu/rms-lisp.html,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -b -r1.10 -r1.11
--- rms-lisp.html       9 Apr 2007 20:45:57 -0000       1.10
+++ rms-lisp.html       11 Jun 2007 00:31:05 -0000      1.11
@@ -209,14 +209,14 @@
 not be standing in the way of anybody's further using and further
 disseminating human knowledge.</p>
 
-<p>At the time, you could make a computer that was about the same
-price range as other computers that weren't meant for Lisp, except
-that it would run Lisp much faster than they would, and with full type
-checking in every operation as well. Ordinary computers typically
-forced you to choose between execution speed and good typechecking.
-So yes, you could have a Lisp compiler and run your programs fast, but
-when they tried to take car of a number, it got nonsensical results
-and eventually crashed at some point.</p>
+<p>At the time, you could make a computer that was about the same price
+range as other computers that weren't meant for Lisp, except that it
+would run Lisp much faster than they would, and with full type checking
+in every operation as well. Ordinary computers typically forced you to
+choose between execution speed and good typechecking.  So yes, you could
+have a Lisp compiler and run your programs fast, but when they tried to
+take <tt>car</tt> of a number, it got nonsensical results and eventually
+crashed at some point.</p>
 
 <p>The Lisp machine was able to execute instructions about as fast as
 those other machines, but each instruction &mdash; a car instruction would
@@ -508,7 +508,7 @@
 <p>
 Updated:
 <!-- timestamp start -->
-$Date: 2007/04/09 20:45:57 $
+$Date: 2007/06/11 00:31:05 $
 <!-- timestamp end -->
 </p>
 </div>