From 5a37fda2e01041c966436fbd0f5f0f3037b07f47 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 10 Feb 2015 13:10:19 +0100
Subject: [PATCH] add paragraph about Camille's different syntax
---
org.rodinp.handbook.feature/latex/tutorial-03.tex | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/org.rodinp.handbook.feature/latex/tutorial-03.tex b/org.rodinp.handbook.feature/latex/tutorial-03.tex
index 377b3d3..09af297 100644
--- a/org.rodinp.handbook.feature/latex/tutorial-03.tex
+++ b/org.rodinp.handbook.feature/latex/tutorial-03.tex
@@ -100,8 +100,12 @@ This editor is \textit{form-based}. This means that it can be modified by using
\begin{rodin-plugin}{camille.png}{Camille}
Camille is a ``real'' text editor that provides the same feel as a typical Eclipse text editor and provides all of the functions that most text editors provide (i.e. copy, paste, undo, redo, etc.) However, please note that at this time not all Rodin plugins are compatible with Camille. For more information, please consult the extensive documentation in the Rodin Wiki (\ref{rodin_wiki}).
-Camille can be installed via its update site, which is preconfigured in Rodin. Once installed, Camille will be set as the default editor. The rodin editor or structural editor can still be used by selecting it from the context menu of a file in the project browser.
+Camille can be installed via its update site, which is preconfigured in Rodin. Once installed, Camille will be set as the default editor.
+The rodin editor or structural editor can still be used by selecting it from the context menu of a file in the project browser.
+Note that the syntax employed by Camille differs from the one employed by the Rodin editor.
+For example, the keywords with the exception of \textbf{INITIALISATION} are written in lower-case letters: \textbf{machine}, \textbf{variables}, \textbf{invariants}, \textbf{events}, etc. Also, the labels have to be prefixed with the \textbf{@} symbol.
+The syntax employed for logical formulas is, however, identical.
For more information, please visit \url{http://wiki.event-b.org/index.php/Text_Editor}.
--
GitLab