From 5509bfdad844466a54cdaa956cc11362346ae74c Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Mon, 20 Dec 2021 14:40:14 +0000
Subject: [PATCH] Added examples for the loop syntax. Updated wikipage Release
 notes for EiffelStudio 21.11. 	(Signed-off-by:alexk).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2345 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../Release-notes-for-EiffelStudio-21.11.wiki     | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/documentation/21.11/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-21.11.wiki b/documentation/21.11/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-21.11.wiki
index 86138fbf..aba4f4c8 100644
--- a/documentation/21.11/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-21.11.wiki
+++ b/documentation/21.11/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-21.11.wiki
@@ -1,4 +1,4 @@
-[[Property:modification_date|Mon, 13 Dec 2021 09:17:35 GMT]]
+[[Property:modification_date|Mon, 20 Dec 2021 14:40:14 GMT]]
 [[Property:publication_date|Tue, 09 Nov 2021 08:30:45 GMT]]
 [[Property:uuid|832C4922-780A-4A17-BA9C-61A9211EF6FF]]
 [[Property:title|Release notes for EiffelStudio 21.11]]
@@ -10,7 +10,18 @@
 * The new '''Source Control''' tool provides basic '''GIT''' and '''subversion''' operations (status, diff, commit, ...). The related tools have to be installed on your machine, as the Source Control tool relies on the executable `git` and `svn` commands.
 
 ==Compiler==
-* Supported a unified syntax to access loop cursor features inside an iteration form of a loop for both keyword-based and Unicode-based loop variants. The current item is accessed by the cursor name. The cursor feature is accessed by preceding the cursor name with the symbol `@`.
+* Supported a unified syntax to access loop cursor features inside an iteration form of a loop for both keyword-based and Unicode-based loop variants. The current item is accessed by the cursor name. The cursor feature is accessed by preceding the cursor name with the symbol `@`:
+```
+	∀ x: array ¦ (@ x.target_index \\ 2 = 0 ⇒ x > 0) -- All elements at even positions are positive.
+ 
+		-- Print all elements of a table prefixed with their keys.
+	across table as y loop
+		print (@ y.key)
+		print (": ")
+		print (y)
+		io.put_new_line
+	end
+```
 * Fixed multiple bugs related to non-conforming inheritance, making the latter usable in production code (note: the semantics of non-conforming inheritance changed by removing automatic replication of inherited features).
 
 ==Libraries==