fixed typo: "import the archive file to you" -> "... your"

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15965 1434b563-b632-4741-aa49-43a3a8374d2e

org.rodinp.handbook.feature/latex/tutorial-08.tex

@@ -9,7 +9,7 @@
 
 In this section, we will work with the model of the so-called celebrity problem.
 
-\ifinprint\pagebreak\fi %TODO: remove this
+%\ifinprint\pagebreak\fi %TODO: remove this
 \warning{We are using a new model instead of the traffic light because it provides us with some proofs where manual interaction is necessary.}
 
 In the setting for this problem, we have a ``knows'' relation between persons.
@@ -31,7 +31,7 @@ Rather than creating the model step by step, we have provided the model as an ar
 
 \warning{Make sure that you have no existing Project named ``Celebrity'', before importing the project. If you have, then rename it by right clicking the project and selecting \textsf{Rename...}}
 
-Import the archive file \file{Celebrity.zip}{Celebrity.zip} to you Event-B Explorer. To do this, select \textsf{File $\rangle $ Import $\rangle $ General $\rangle $ Existing Projects into Workspace}. Then select the option to import an existing archive file. Use the browse function to find your archive file and import it. After you have selected the appropriate archive file, click on \textsf{Finish}.
+Import the archive file \file{Celebrity.zip}{Celebrity.zip} to your Event-B Explorer. To do this, select \textsf{File $\rangle $ Import $\rangle $ General $\rangle $ Existing Projects into Workspace}. Then select the option to import an existing archive file. Use the browse function to find your archive file and import it. After you have selected the appropriate archive file, click on \textsf{Finish}.
 
 It will take a few seconds for Rodin to extract and load all the files. Once this is done, a few problems will be displayed in the Rodin Problems view (compare with Figure \ref{fig_tut_08_rodin_problemview}).