Pastebin

Index: introduction.tex
===================================================================
--- introduction.tex	(revision 2476)
+++ introduction.tex	(working copy)
@@ -326,14 +326,13 @@
   \item Design and implement a configuration management system with the
     following properties:
     \begin{itemize}
-    \item Allow the user to define a system's desired configuration using a DSL.
-    \item Bring a computer into a specified configuration.
-    \item Monitor a computation cluster's actual configuration 
-      and verify that it corresponds with the desired configuration.
-    \item Automate the deployment of configuration changes on computers. 
-      Including installation of a new machine.
-    \item Automate the deployment of a configuration on an entire computation
-      cluster.
+    \item Allow the user to define a system's desired configuration using a domain-specific configuration language.
+    \item Bring a computer into the specified configuration.
+    \item Monitor the actual configuration of a group of machines
+      and verify that it corresponds with the desired configurations.
+    \item Automate the deployment of configuration changes on computers,
+      including installation of a new machine.
+    \item Automate the deployment of a configuration on a group of machines.
     \end{itemize}
 %   Resource management
   \item Design and implement a model to represent virtual machines running on