File tree 2 files changed +7
-8
lines changed
2 files changed +7
-8
lines changed Original file line number Diff line number Diff line change 1
1
---
2
- refs/heads/master: f54e2699fbe2d403667e0cd95f96bdc5c48acded
2
+ refs/heads/master: 199e4dee8da24d36b09d9a550353f06eaaa8fb09
Original file line number Diff line number Diff line change @@ -664,21 +664,20 @@ The keywords are:
664
664
@tab @code {if }
665
665
@item @code {else }
666
666
@tab @code {alt }
667
- @tab @code {case }
668
667
@tab @code {in }
669
668
@tab @code {do }
670
- @item @code {while }
671
- @tab @code {break }
669
+ @tab @code {while }
670
+ @item @code {break }
672
671
@tab @code {cont }
673
672
@tab @code {note }
674
673
@tab @code {assert }
675
- @item @code {claim }
676
- @tab @code {check }
674
+ @tab @code {claim }
675
+ @item @code {check }
677
676
@tab @code {prove }
678
677
@tab @code {fail }
679
678
@tab @code {for }
680
- @item @code {each }
681
- @tab @code {ret }
679
+ @tab @code {each }
680
+ @item @code {ret }
682
681
@tab @code {put }
683
682
@tab @code {be }
684
683
@end multitable
You can’t perform that action at this time.
0 commit comments