Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarImplementation/implementation.tex
changeset 20064 92aad017b847
parent 20024 553d48cac687
child 20451 27ea2ba48fa3 
--- a/doc-src/IsarImplementation/implementation.tex	Sat Jul 08 14:01:31 2006 +0200
+++ b/doc-src/IsarImplementation/implementation.tex	Sat Jul 08 14:01:40 2006 +0200
@@ -50,7 +50,7 @@
   
   {\small\em As I did 20 years ago, I still fervently believe that the
     only way to make software secure, reliable, and fast is to make it
-    small.  Fight Features.}
+    small.  Fight features.}
   
   Andrew S. Tanenbaum
isabelle