diff --git a/documentation/19.12/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki b/documentation/19.12/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
index 1b13daca..05914812 100644
--- a/documentation/19.12/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
+++ b/documentation/19.12/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
@@ -1,3 +1,5 @@
+[[Property:modification_date|Tue, 23 Jun 2020 07:13:21 GMT]]
+[[Property:publication_date|Tue, 23 Jun 2020 07:13:21 GMT]]
 [[Property:title|Expression evaluation]]
 [[Property:weight|-10]]
 [[Property:uuid|e55442ac-7861-1995-d315-baeed6c49223]]
@@ -16,7 +18,7 @@ If the expression has an error, or if the evaluation raised an exception, you ca
 
 {{caution|During the evaluation of an expression, all features that are necessary to obtain the result are called. Therefore, you should avoid calling queries that have side-effects, since doing so may alter the program execution. The Eiffel methodology recommends against creating queries with side-effects for other important reasons, as well. }}
 
-{{caution|Eiffel ''agents'' (for example: <code>agent my_function</code>) are not supported is not supported. }}
+{{caution|Eiffel ''agents'' (for example: <code>agent my_function</code>) is not supported. }}
 
 {{caution|The evaluation ignores void-safety checking, a side effect is that expression <code>{FOO}</code> is interpreted as <code>{detachable FOO}</code> even if your application is void-safe. Thus keep this in mind when your expression implies <code>TYPE</code> objects. }}
 
diff --git a/documentation/19.12/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki b/documentation/19.12/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki
index d69a7263..8c3f9e3c 100644
--- a/documentation/19.12/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki
+++ b/documentation/19.12/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki
@@ -1,3 +1,5 @@
+[[Property:modification_date|Thu, 25 Jun 2020 07:27:10 GMT]]
+[[Property:publication_date|Thu, 25 Jun 2020 07:27:10 GMT]]
 [[Property:title|Criterion References]]
 [[Property:weight|12]]
 [[Property:uuid|52790486-55e8-86dc-67d7-5530d1b342a3]]
@@ -48,12 +50,12 @@
 '''path_in'''<br/>
 '''Syntax:''' path_in "path"<br/>
 '''Applicable on:''' Class<br/>
-'''Remark:''' This criterion will evaluate to True if path (related to the class's written in group) of the class candidate is "path" or its subdirectory. "path" is in Unix format, i.e., different sections are separated by a "/". On Windows, path matching is case-sensitive, on other platforms, it's case-sensitive. 
+'''Remark:''' This criterion will evaluate to True if path (related to the class's written in group) of the class candidate is "path" or its subdirectory. "path" is in Unix format, i.e., different sections are separated by a "/". On Windows, path matching is case-insensitive, on other platforms, it's case-sensitive. 
 
 '''path_is'''<br/>
 '''Syntax:''' path_is "path"<br/>
 '''Applicable on:''' Class<br/>
-'''Remark:''' This criterion will evaluate to True if path (related to the class's written in group) of the class candidate is "path". "path" is in Unix format, i.e., different sections are separated by a "/". On Windows, path matching is case-sensitive, on other platforms, it's case-sensitive. 
+'''Remark:''' This criterion will evaluate to True if path (related to the class's written in group) of the class candidate is "path". "path" is in Unix format, i.e., different sections are separated by a "/". On Windows, path matching is case-insensitive, on other platforms, it's case-sensitive. 
 
 ==Relation Criterion==
 
diff --git a/documentation/20.05/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki b/documentation/20.05/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
index 1b13daca..05914812 100644
--- a/documentation/20.05/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
+++ b/documentation/20.05/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
@@ -1,3 +1,5 @@
+[[Property:modification_date|Tue, 23 Jun 2020 07:13:21 GMT]]
+[[Property:publication_date|Tue, 23 Jun 2020 07:13:21 GMT]]
 [[Property:title|Expression evaluation]]
 [[Property:weight|-10]]
 [[Property:uuid|e55442ac-7861-1995-d315-baeed6c49223]]
@@ -16,7 +18,7 @@ If the expression has an error, or if the evaluation raised an exception, you ca
 
 {{caution|During the evaluation of an expression, all features that are necessary to obtain the result are called. Therefore, you should avoid calling queries that have side-effects, since doing so may alter the program execution. The Eiffel methodology recommends against creating queries with side-effects for other important reasons, as well. }}
 
-{{caution|Eiffel ''agents'' (for example: <code>agent my_function</code>) are not supported is not supported. }}
+{{caution|Eiffel ''agents'' (for example: <code>agent my_function</code>) is not supported. }}
 
 {{caution|The evaluation ignores void-safety checking, a side effect is that expression <code>{FOO}</code> is interpreted as <code>{detachable FOO}</code> even if your application is void-safe. Thus keep this in mind when your expression implies <code>TYPE</code> objects. }}
 
diff --git a/documentation/20.05/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-20.05.wiki b/documentation/20.05/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-20.05.wiki
new file mode 100644
index 00000000..5867a79b
--- /dev/null
+++ b/documentation/20.05/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-20.05.wiki
@@ -0,0 +1,22 @@
+[[Property:modification_date|Tue, 02 Jun 2020 08:56:25 GMT]]
+[[Property:publication_date|Fri, 22 May 2020 15:44:58 GMT]]
+[[Property:uuid|99393109-3E37-4A3C-82FC-6509444BC948]]
+[[Property:title|Release notes for EiffelStudio 20.05]]
+[[Property:link_title|20.05]]
+[[Property:weight|-4]]
+==Graphical environment==
+* The editor search functionality now supports Unicode text.
+* Improve code completion to include sequence of Unicode symbol for new Eiffel syntax.
+* The new command line option `-reset_ide_layout` reset any IDE layout settings (docking, tools, ...). 
+
+==Compiler==
+* 
+
+==Libraries==
+* There is now a simpler way to output Unicode text into the Console, using the new`PLAIN_TEXT_FILE.put_string_32 (text)` (note: for now only `put_string_32` is using the related encoding).
+* Many web related libraries were updated to better follow recommendations and specifications (wikitext, feed with atom and rss, xml, and CMS xhtml page generation).
+* Most (if not all) of the ISE specific codes are now in the ISE_RUNTIME class.
+* Thanks to the new `wrap_c` tool, there are a bunch of new C wrapper library available via `iron`, such as yaml, sdl, libusb, quirc, libqrencode, libgit2, gsl, tiday, ... check [https://iron.eiffel.com/repository/20.05/package/?query=tag%3Awrapc] for the complete list.
+----
+
+See [https://dev.eiffel.com/EiffelStudio_20.05_Releases change log] for more details.
\ No newline at end of file
diff --git a/documentation/20.05/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki b/documentation/20.05/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki
index d69a7263..8c3f9e3c 100644
--- a/documentation/20.05/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki
+++ b/documentation/20.05/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki
@@ -1,3 +1,5 @@
+[[Property:modification_date|Thu, 25 Jun 2020 07:27:10 GMT]]
+[[Property:publication_date|Thu, 25 Jun 2020 07:27:10 GMT]]
 [[Property:title|Criterion References]]
 [[Property:weight|12]]
 [[Property:uuid|52790486-55e8-86dc-67d7-5530d1b342a3]]
@@ -48,12 +50,12 @@
 '''path_in'''<br/>
 '''Syntax:''' path_in "path"<br/>
 '''Applicable on:''' Class<br/>
-'''Remark:''' This criterion will evaluate to True if path (related to the class's written in group) of the class candidate is "path" or its subdirectory. "path" is in Unix format, i.e., different sections are separated by a "/". On Windows, path matching is case-sensitive, on other platforms, it's case-sensitive. 
+'''Remark:''' This criterion will evaluate to True if path (related to the class's written in group) of the class candidate is "path" or its subdirectory. "path" is in Unix format, i.e., different sections are separated by a "/". On Windows, path matching is case-insensitive, on other platforms, it's case-sensitive. 
 
 '''path_is'''<br/>
 '''Syntax:''' path_is "path"<br/>
 '''Applicable on:''' Class<br/>
-'''Remark:''' This criterion will evaluate to True if path (related to the class's written in group) of the class candidate is "path". "path" is in Unix format, i.e., different sections are separated by a "/". On Windows, path matching is case-sensitive, on other platforms, it's case-sensitive. 
+'''Remark:''' This criterion will evaluate to True if path (related to the class's written in group) of the class candidate is "path". "path" is in Unix format, i.e., different sections are separated by a "/". On Windows, path matching is case-insensitive, on other platforms, it's case-sensitive. 
 
 ==Relation Criterion==