bugfix: \text - \testsf

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

org.rodinp.handbook.feature/latex/reference-04.tex

@@ -302,7 +302,7 @@ Proofs consists of trees where each node is a proof step. Storing or investigati
 In any view, right-clicking an Event-B project or file will display a popup menu with a \textsf{Simplify Proof(s)} option. If several files or projects (or both) are selected, simplification will apply to all of them.
 
 \subsubsection{Automatic simplification option}
-It is possible to automatically launch the simplification on proof save. However, because this task can be performance consuming this feature is disabled by default. It can be enabled by selecting \textsf{Window} $ \rangle $ \textsf{Preferences} $ \rangle $ \textsf{Event-B} $ \rangle $ \text{Sequent Prover} $ \rangle $ \textsf{Simplify complete proofs when saving}.
+It is possible to automatically launch the simplification on proof save. However, because this task can be performance consuming this feature is disabled by default. It can be enabled by selecting \textsf{Window} $ \rangle $ \textsf{Preferences} $ \rangle $ \textsf{Event-B} $ \rangle $ \textsf{Sequent Prover} $ \rangle $ \textsf{Simplify complete proofs when saving}.
 
 %%% Local Variables: 
 %%% mode: latex