From d6135ef7836846ee846b4f7ae613a39b4ea6ad41 Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Fri, 29 Jul 2016 09:01:35 +0000
Subject: [PATCH] Update wikipage Eiffel programming language syntax.
 (Signed-off-by:jocelyn).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1605 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../eiffel-programming-language-syntax.wiki                  | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
index 18ee5f81..4dba910f 100644
--- a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
+++ b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
@@ -143,10 +143,15 @@ Class_declaration ::= <nowiki>[</nowiki>[[#Notes|Notes]]<nowiki>]</nowiki>
 
 ===Notes ===
 Notes ::= <code>note</code> Note_list
+
 Note_list ::= {Note_entry ";" ...}* 
+
 Note_entry ::= Note_name Note_values 
+
 Note_name ::= [[#Identifiers|Identifier]] ":" 
+
 Note_values ::= {Note_item ","...}+ 
+
 Note_item ::= [[#Identifiers|Identifier]] | [[#Manifest constants|Manifest_constant]] 
 
 ===Class headers ===