diff --git a/documentation/23.09/solutions/dotnet/building-net-application.wiki b/documentation/23.09/solutions/dotnet/building-net-application.wiki
index 88a90a65..80341a4b 100644
--- a/documentation/23.09/solutions/dotnet/building-net-application.wiki
+++ b/documentation/23.09/solutions/dotnet/building-net-application.wiki
@@ -1,11 +1,15 @@
+[[Property:modification_date|Tue, 26 Sep 2023 19:18:02 GMT]]
+[[Property:publication_date|Tue, 26 Sep 2023 19:18:02 GMT]]
 [[Property:title|Building a .NET application]]
 [[Property:weight|1]]
 [[Property:uuid|a44736cf-41df-1679-9c6d-7b56f31d5f9a]]
-Eiffel for .NET has some specific functionality meant to leverage necessary aspects of the .NET Framework. 
+Eiffel for .NET has some specific functionality meant to leverage necessary aspects of the .NET solution. 
 
 For that reason, the [[EiffelStudio: Project settings window|project settings]]  for Eiffel for .NET introduces new options. These options include: 
+
 * Specifying whether the generated assembly should be an EXE or a DLL. 
-* Choosing between generating verifiable or non verifiable IL code. Non verifiable IL code executes faster but requires high trust settings. 
+
+* (For .NET Framework only: choosing between generating verifiable or non verifiable IL code. Non verifiable IL code executes faster but requires high trust settings.)
 
 The Eiffel for .NET compiler generates a single assembly whose name is the name of the system as given in the [[System Options|system options of the project settings]] .