From 2dc8d7f67babde2a7f0b2e8ac363b8bd9010eb2e Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Tue, 3 Jul 2012 09:45:54 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.rodinp.handbook.feature/latex/reference-04.tex b/org.rodinp.handbook.feature/latex/reference-04.tex
index 05f65bd..b283249 100644
--- a/org.rodinp.handbook.feature/latex/reference-04.tex
+++ b/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
-- 
GitLab