diff --git a/documentation/current/method/eiffel-tutorial-et/et-hello-world.wiki b/documentation/current/method/eiffel-tutorial-et/et-hello-world.wiki
index 8076b9d6..a9556819 100644
--- a/documentation/current/method/eiffel-tutorial-et/et-hello-world.wiki
+++ b/documentation/current/method/eiffel-tutorial-et/et-hello-world.wiki
@@ -7,17 +7,17 @@ When discovering any approach to software construction, however ambitious its go
You write a class HELLO with a single procedure, say make , also serving as creation procedure. If you like short texts, here is a minimal version:
class
- HELLO
+ HELLO
create
- make
+ make
feature
- make is
- do
- print ("Hello World%N")
- end
+ make
+ do
+ print ("Hello World%N")
+ end
end
@@ -25,23 +25,23 @@ end
In practice, however, the Eiffel style rules suggest a better documented version:
indexing
- description: "Root for trivial system printing a message"
- author: "Elizabeth W. Brown"
+ description: "Root for trivial system printing a message"
+ author: "Elizabeth W. Brown"
class
- HELLO
+ HELLO
create
- make
+ make
feature
- make is
- -- Print a simple message.
- do
- io.put_string ("Hello World")
- io.put_new_line
- end
+ make
+ -- Print a simple message.
+ do
+ io.put_string ("Hello World")
+ io.put_new_line
+ end
end -- class HELLO
@@ -56,7 +56,7 @@ The name of the class is HELLO . Any class may contain "features";
The definition of make appears in a feature clause. There may be any number of such clauses (to separate features into logical categories), and each may contain any number of feature declarations. Here we have only one.
-The line starting with -- (two hyphen signs) is a comment; more precisely it is a "header comment", which style rules invite software developers to write for every such feature, just after the is . As will be seen in [[8 Design by Contract (tm), Assertions and Exceptions|"The contract form of a class", page 44]] , the tools of EiffelStudio know about this convention and use it to include the header comment in the automatically generated class documentation.
+The line starting with -- (two hyphen signs) is a comment; more precisely it is a "header comment", which style rules invite software developers to write for every such feature, just after the feature is named. As will be seen in [[8 Design by Contract (tm), Assertions and Exceptions#The_contract_form_of_a_class|"The contract form of a class"]], the tools of EiffelStudio know about this convention and use it to include the header comment in the automatically generated class documentation.
The body of the feature is introduced by the do keyword and terminated by end . It consists of two output instructions. They both use io , a generally available reference to an object that provides access to standard input and output mechanisms; the notation io . f , for some feature f of the corresponding library class ( STD_FILES ), means "apply f to io ". Here we use two such features:
* put_string outputs a string, passed as argument, here "Hello World" .