Merge pull request #3543 from edstenson/review_visual_studio

Updated language use in visual-studio.md

Author: Daniel Kroening

doc/cprover-manual/visual-studio.md

@@ -9,8 +9,8 @@ The MSBuild system is also activated when triggering a build from the
 Visual Studio GUI. The project files created by the Visual Studio GUI
 are used as input by the MSBuild tool.
 
-The MSBuild system can be used to generate goto-binaries from your
-Visual Studio project as follows:
+To use MSBuild to generate goto-binaries from your
+Visual Studio project:
 
 1.  Install the `goto-cl.exe` and `goto-link.exe` binaries in some
     directory that is contained in the PATH environment variable.
@@ -21,15 +21,14 @@ Visual Studio project as follows:
 3.  Open the Visual Studio Command Prompt (in the Tools menu).
 
 4.  Locate the directory that contains the project. Change into this
-    directory using "CD".
+    directory.
 
 5.  Type
 
         msbuild /p:CLToolExe=goto-cl.exe /p:LinkToolExe=goto-link.exe    /p:Flavor=goto-cc /p:Platform=x86
 
-    The platform can be adjusted as required; the "Flavor" given should
-    match the configuration that was created earlier.
+    You can adjust the platform as required. The "Flavor" given should
+    match the configuration you created earlier.
 
 Note that the recent versions of goto-cc also support file names with
 non-ASCII (Unicode) characters on Windows platforms.
-