PR #16590 Loop format updated to reflect current standard as of ECMA 367-2nd Ed.

Author:halw
Date:2010-01-25T18:33:29.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@415 abb3cda0-5349-4a8f-a601-0c33ac3a8c38

documentation/current/method/eiffel-tutorial-et/et-other-mechanisms.wiki

@@ -102,14 +102,14 @@ The loop construct has the form
 <code>
             from
                 initialization
-            until
-                exit
             invariant
                 inv
-            variant
+            until
-                var
+                exit
             loop
                 body
+            variant
+                var
             end
 </code>