diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-07-03 16:34:02 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-07-03 16:34:02 +0000 |
| commit | ac20f6c2725c29240155b31080c8b34a65fac14b (patch) | |
| tree | 99e4a2bcad3cfe0e3e534bb208511ccb69a0ee08 /manual/styles | |
| parent | f543b0fd6120c50857769db83a34bd9b31b46fb6 (diff) | |
| download | ocaml-ac20f6c2725c29240155b31080c8b34a65fac14b.tar.gz | |
Debut MAJ pour 3.07
git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10038 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'manual/styles')
| -rw-r--r-- | manual/styles/syntaxdef.sty | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/styles/syntaxdef.sty b/manual/styles/syntaxdef.sty index acda4a3788..bb17b94a7d 100644 --- a/manual/styles/syntaxdef.sty +++ b/manual/styles/syntaxdef.sty @@ -13,6 +13,7 @@ \def\orelse{\mid \spacefalse} \def\is{ & ::= & \spacefalse } \def\alt{ \\ & \mid & \spacefalse } +\def\cutline{ \\ & & \spacefalse } \def\sep{ \\[2mm] \spacefalse } \def\emptystring{\epsilon} \def\syntax{$$\begin{array}{rrl}\spacefalse} |