doc-src/IsarImplementation/implementation.tex
changeset 20064 92aad017b847
parent 20024 553d48cac687
child 20451 27ea2ba48fa3
     1.1 --- a/doc-src/IsarImplementation/implementation.tex	Sat Jul 08 14:01:31 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/implementation.tex	Sat Jul 08 14:01:40 2006 +0200
     1.3 @@ -50,7 +50,7 @@
     1.4    
     1.5    {\small\em As I did 20 years ago, I still fervently believe that the
     1.6      only way to make software secure, reliable, and fast is to make it
     1.7 -    small.  Fight Features.}
     1.8 +    small.  Fight features.}
     1.9    
    1.10    Andrew S. Tanenbaum
    1.11