rearranged figures, various fixes for style, grammar, and clarity

[pintos-anon] / sigcse2009 / abstract.tex

diff --git a/sigcse2009/abstract.tex b/sigcse2009/abstract.tex
index 372fa2207c0ac5fa1d9d93880c81f61038ad8b9b..2656271fa21a92a272bd987aae7267d074359686 100644 (file)
--- a/sigcse2009/abstract.tex
+++ b/sigcse2009/abstract.tex
@@ -1,10 +1,13 @@
 Pintos is an instructional operating system, complete with documentation
-and ready-made, structured assignments that introduce students to the 
-principles of multi-programming, scheduling, virtual memory, and file systems.
-By allowing students to run their work product on actual hardware,
-rather than only in simulated or emulated environments, Pintos can
-increase student engagement.  Unlike tailored versions of commercial
-or open source OS such as Linux, Pintos is designed from the ground up
-from an educational perspective.  Finally, Pintos includes a set of
-debugging, diagnosis, and dynamic analysis tools to reduce the complexity
-of kernel-level development.
+and ready-made, structured assignments that introduce students to
+the principles of multi-programming, scheduling, virtual memory,
+and file systems.  By allowing students to run their work product on
+actual hardware, while simultaneously benefiting from the debugging
+and dynamic analysis tools provided in simulated and emulated environments,
+Pintos increases student engagement.  Unlike tailored versions of
+commercial or open source OS such as Linux, Pintos is designed from the
+ground up from an educational perspective.  
+It has been used by multiple institutions for a number of years and
+is available for wider use.
+%Finally, Pintos includes a set of debugging, diagnosis, and dynamic analysis 
+%tools to reduce the complexity of kernel-level development.