diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-04-16 20:40:19 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-04-16 20:40:19 +0000 |
| commit | 99ad573113f5afc8bb5409649843567dee40ba40 (patch) | |
| tree | 60af0349abfc1aeb5847734094dabceae8979ad1 /dev/v8-syntax | |
| parent | b6b9ea6c22107a33121cb2e7f6f89ec82d1bc7d0 (diff) | |
first-order --> firstorder (kills a warning about not being a valid id)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/v8-syntax')
| -rw-r--r-- | dev/v8-syntax/syntax-v8.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/v8-syntax/syntax-v8.tex b/dev/v8-syntax/syntax-v8.tex index 97973df2b..de68ce1e5 100644 --- a/dev/v8-syntax/syntax-v8.tex +++ b/dev/v8-syntax/syntax-v8.tex @@ -748,7 +748,7 @@ Conflicts exists between integers and constrs. \nlsep \TERM{cc} %% contrib/field \nlsep \TERM{field}~\STAR{\tacconstr} -%% contrib/first-order +%% contrib/firstorder \nlsep \TERM{ground}~\OPT{\NTL{tactic}{0}} \nlsep \TERM{ground}~\OPT{\NTL{tactic}{0}}~\KWD{with}~\PLUS{\NT{reference}} \nlsep \TERM{ground}~\OPT{\NTL{tactic}{0}}~\KWD{using}~\PLUS{\NT{ident}} |