From 0dd79ca928cfab5aefd18a306c46f4b03b866d08 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Wed, 6 Apr 2016 13:20:55 +0000 Subject: [PATCH] Update wikipage Eiffel compatibility options. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1545 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../compiler/command-line/Eiffel-compatibility-options.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/command-line/Eiffel-compatibility-options.wiki b/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/command-line/Eiffel-compatibility-options.wiki index 41825613..e2be7cb1 100644 --- a/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/command-line/Eiffel-compatibility-options.wiki +++ b/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/command-line/Eiffel-compatibility-options.wiki @@ -81,7 +81,7 @@ The table below shows project settings that, depending upon their values, can af |- | Transitional | Checking against all void-safety validity rules using some potentially unsafe CAPs, assuming that all assertions are satisfied, and ignoring some complex cases like passing incompletely initialized Current from a creation procedure or creating agents when Current is not completely initialized. -| [[Release Notes for EiffelStudio 13.11| 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]] +| [[Release notes for EiffelStudio 13.11 | 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]] |- | Complete | Complete checking against all void-safety validity rules ignoring any unsafe CAPs.