- some code patched

[helm.git] / helm / mathql / doc / mathql_operational.tex

diff --git a/helm/mathql/doc/mathql_operational.tex b/helm/mathql/doc/mathql_operational.tex
index 32be697a50486a2ac4b99142a91c26613e9ccba4..a7b3a9a49dcfcef733349d20dac34d854253ea74 100644 (file)
--- a/helm/mathql/doc/mathql_operational.tex
+++ b/helm/mathql/doc/mathql_operational.tex
@@ -1,4 +1,4 @@
-\section {Operational semantics} \label {Operational}
+\section {Operational Semantics} \label {Operational}
 
 This section describes {\MathQL} semantics, that we present in a natural
 operational style \cite{Lan98,Win93}.