# HG changeset patch
# User wenzelm
# Date 1227981688 -3600
# Node ID 5c712e46988f66d0c86997681330575e019ab327
# Parent  40d87c73120dea6ccc71a6f70d27d1d087d61651
tuned;

diff -r 40d87c73120d -r 5c712e46988f README_REPOSITORY
--- a/README_REPOSITORY	Sat Nov 29 18:26:53 2008 +0100
+++ b/README_REPOSITORY	Sat Nov 29 19:01:28 2008 +0100
@@ -177,9 +177,9 @@
 Building Isabelle from the repository version
 =============================================
 
-Compared to a proper distribution (or development snapshot) the a
+Compared to a proper distribution or development snapshot, a
 repository version of Isabelle lacks proper version identifiers in
-various places and some components produced by Admin/build.  After
+various places, and some components produced by Admin/build.  After
 applying that script with suitable options, the regular user
 instructions for building and running Isabelle from sources apply.