diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki
index ee246a6e..ab7e571d 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki
@@ -4,11 +4,11 @@
==Kernel classes==
{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Fictitious class for tuples
| TUPLE
@@ -18,13 +18,13 @@
|}
==Features==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Prefix and infix feature names
| infix "+"
@@ -36,7 +36,8 @@
| add alias "+"
| No
| Yes
-| Yes, except for new rules for free operator names
+| Yes, except for new rules
+for free operator names
|-
| Assigner command
| item alias "[]" (index: INTEGER): G assign put
@@ -46,13 +47,13 @@
|}
==Design by Contract==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Only postcondition clauses
| ensure only a, b
@@ -62,13 +63,13 @@
|}
==Genericity==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Mutually recursive constraints
| A [H, G -> H]
@@ -93,15 +94,16 @@
|}
==Creating objects==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
-| Implicit creation procedure (version of ANY.default_create)
+| Implicit creation procedure (version of
+ANY.default_create)
| class A feature ... end
-- The following instructions are equivalent:
create {A} a
@@ -142,19 +144,25 @@
|}
==Attachment==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
-| Preserving expandedness status when attaching expanded object to reference entity
+| Preserving expandedness status
+when attaching expanded object
+to reference entity
| x := y
-| No, object is copied to new object of the corresponding reference type
+| No, object is copied to new
+object of the corresponding
+reference type
| Yes
-| Yes, except for TYPED_POINTER that is converted to POINTER before reattachment
+| Yes, except for TYPED_POINTER
+that is converted to POINTER before
+reattachment
|-
| Reverse assignment (assignment attempt)
| x ?= y
@@ -164,13 +172,13 @@
|}
==Feature calls==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Precursor call
| Precursor
@@ -198,13 +206,13 @@
|}
==Void-safety==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Attachment marks
| a: attached ANY
@@ -234,13 +242,13 @@
|}
==[[Concurrent Eiffel with SCOOP|SCOOP]]==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| width="160pt"| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! width="160pt"| '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Separate declaration
| a: separate ANY
@@ -250,13 +258,13 @@
|}
==Expressions==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Bracket expression
| y := x [i]
@@ -296,13 +304,13 @@
|}
==Constants==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''Example'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''Example'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Verbatim string
|
@@ -337,12 +345,12 @@ y := "{
|}
==Interfacing with external software==
-{|
+{| class="doctable"
|-
-| '''Feature'''
-| '''ETL2'''
-| '''ECMA-367'''
-| '''EiffelStudio'''
+! '''Feature'''
+! '''ETL2'''
+! '''ECMA-367'''
+! '''EiffelStudio'''
|-
| Access to software written in C
| Basic syntax for any external software
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca001-self-assignment.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca001-self-assignment.wiki
index fcb4988f..03dafc75 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca001-self-assignment.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca001-self-assignment.wiki
@@ -3,7 +3,9 @@
[[Property:weight|0]]
[[Property:uuid|d98b7fb8-37a1-05b3-a58f-baacefd5dce6]]
__NOTOC__
-:{|
+=Description=
+Assigning a variable to itself is a meaningless instruction due to a typing error. Most probably, one of the two variable names was misspelled. One example among many others: the programmer wanted to assign a local variable to a class attribute and used one of the variable names twice.
+:{| class="doctable"
|-
| '''Scope'''
| Instruction
@@ -21,9 +23,6 @@ __NOTOC__
| 70
|}
-=Description=
-Assigning a variable to itself is a meaningless instruction due to a typing error. Most probably, one of the two variable names was misspelled. One example among many others: the programmer wanted to assign a local variable to a class attribute and used one of the variable names twice.
-
=Example=
a := a
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca071-self-comparison.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca071-self-comparison.wiki
index b1d960d7..47d621c4 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca071-self-comparison.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/ca071-self-comparison.wiki
@@ -3,7 +3,12 @@
[[Property:weight|0]]
[[Property:uuid|02a649b3-0e4e-6fdf-388d-c411a06fc787]]
__NOTOC__
-:{| class="wikitable"
+=Description=
+An expression comparing a variable to itself always evaluates to the same boolean value. The comparison is thus redundant. In an Until expression it may lead to non-termination. Usually it is a typing error.
+:{| class="doctable"
+|-
+! Property
+! Value
|-
| '''Scope'''
| Instruction
@@ -21,9 +26,6 @@ __NOTOC__
| 70
|}
-=Description=
-An expression comparing a variable to itself always evaluates to the same boolean value. The comparison is thus redundant. In an Until expression it may lead to non-termination. Usually it is a typing error.
-
=Example=
if a >= a then
...
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/index.wiki
index 7ecc31a1..ba48e4b5 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/index.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-inspector/eiffel-inspector-rules/index.wiki
@@ -2,5 +2,8 @@
[[Property:link_title|Rules]]
[[Property:weight|15]]
[[Property:uuid|109ca62a-212d-8a85-eea8-ddf0f89177a1]]
-
+For each rules, you will find an English description of the purpose of the rule, followed by a table providing the following information:
+* scope:
+* status: Enabled/Disabled by default
+*