diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-68-and-ise-eiffel-70.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-68-and-ise-eiffel-70.wiki index ebc66f50..248736f8 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-68-and-ise-eiffel-70.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-68-and-ise-eiffel-70.wiki @@ -2,9 +2,6 @@ [[Property:link_title|7.0]] [[Property:weight|13]] [[Property:uuid|0211321e-969d-04a4-66ee-2a6069836845]] -{{UnderConstruction}} - - ==What's new== * Supported development of incomplete void-safe classes (so called "design mode") by avoiding reporting void-safety errors for unreachable code, e.g. for the code after a call to a feature that never returns normally, say, to {EXCEPTIONS}.die. As a result it became possible to declare a creation procedure that does not initialize attached attributes properly (because the corresponding effective classes are not available yet), for example: diff --git a/documentation/current/why-eiffel/eiffel-two-minute-fact-sheet.wiki b/documentation/current/why-eiffel/eiffel-two-minute-fact-sheet.wiki index 0a9aef55..865bcfc4 100644 --- a/documentation/current/why-eiffel/eiffel-two-minute-fact-sheet.wiki +++ b/documentation/current/why-eiffel/eiffel-two-minute-fact-sheet.wiki @@ -50,6 +50,7 @@ Eiffel consists of: ***Includes multiple and repeated inheritance ***Safe and fully controllable **Genericity (generic classes), including constrained genericity +**Platform independent concurrency ([[Concurrent Eiffel with Scoop|SCOOP]]) *Widely recognized as simultaneously the simplest and most complete implementation of object-oriented concepts *Is clean, elegant, readable, easy to learn