doc: Remove case
from the list of keywords
This commit is contained in:
parent
f54e2699fb
commit
199e4dee8d
@ -664,21 +664,20 @@ The keywords are:
|
||||
@tab @code{if}
|
||||
@item @code{else}
|
||||
@tab @code{alt}
|
||||
@tab @code{case}
|
||||
@tab @code{in}
|
||||
@tab @code{do}
|
||||
@item @code{while}
|
||||
@tab @code{break}
|
||||
@tab @code{while}
|
||||
@item @code{break}
|
||||
@tab @code{cont}
|
||||
@tab @code{note}
|
||||
@tab @code{assert}
|
||||
@item @code{claim}
|
||||
@tab @code{check}
|
||||
@tab @code{claim}
|
||||
@item @code{check}
|
||||
@tab @code{prove}
|
||||
@tab @code{fail}
|
||||
@tab @code{for}
|
||||
@item @code{each}
|
||||
@tab @code{ret}
|
||||
@tab @code{each}
|
||||
@item @code{ret}
|
||||
@tab @code{put}
|
||||
@tab @code{be}
|
||||
@end multitable
|
||||
|
Loading…
Reference in New Issue
Block a user