From 9bd9a3b372a4a35a12aa927948224cc1c8bd83e4 Mon Sep 17 00:00:00 2001
From: lmamane
Date: Thu, 22 Feb 2007 12:26:16 +0000
Subject: doc: typo/english: "is left associating" -> "is left-associative".

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9671 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-ltac.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/refman/RefMan-ltac.tex b/doc/refman/RefMan-ltac.tex
index 4d790b480c..0fbe6f4687 100644
--- a/doc/refman/RefMan-ltac.tex
+++ b/doc/refman/RefMan-ltac.tex
@@ -268,7 +268,7 @@ A sequence is an expression of the following form:
 {\tacexpr}$_1$ and {\tacexpr}$_2$ are evaluated to $v_1$ and
 $v_2$. $v_1$ and $v_2$ must be tactic values. $v_1$ is then applied
 and $v_2$ is applied to every subgoal generated by the application of
-$v_1$. Sequence is left associating.
+$v_1$. Sequence is left-associative.
 
 \subsubsection{General sequence}
 \tacindex{;[\ldots$\mid$\ldots$\mid$\ldots]}
@@ -357,7 +357,7 @@ We can easily branch with the following structure:
 \end{quote}
 {\tacexpr}$_1$ and {\tacexpr}$_2$ are evaluated to $v_1$ and
 $v_2$. $v_1$ and $v_2$ must be tactic values. $v_1$ is applied and if
-it fails to progress then $v_2$ is applied. Branching is left associating.
+it fails to progress then $v_2$ is applied. Branching is left-associative.
 
 \subsubsection{First tactic to work}
 \tacindex{first}
-- 
cgit v1.2.3