Updated or added timestamp to obsolete and fixme messages.

Fixed ecf file exclusion for .svn and .git .
Cosmetic changed.

library/text/parser/feed/src/atom/atom_feed_parser.e

@@ -50,7 +50,7 @@ feature -- Access
 				create Result.make (l_title)
 				Result.set_description (xml_element_text (x_feed, "subtitle"), "plain")
 				Result.set_id (xml_element_text (x_feed, "id"))
-				Result.set_updated_date_with_text (xml_element_text (x_feed, "updated"))
+				Result.set_date_with_text (xml_element_text (x_feed, "updated"))
 				if attached links_from_xml (x_feed, "link") as l_links then
 					across
 						l_links as link_ic
@@ -68,7 +68,7 @@ feature -- Access
 							create e.make (e_title)
 							e.set_description (xml_element_text (x_entry, "summary"))
 							e.set_id (xml_element_text (x_entry, "id"))
-							e.set_updated_date_with_text (xml_element_text (x_entry, "updated"))
+							e.set_date_with_text (xml_element_text (x_entry, "updated"))
 
 							if attached links_from_xml (x_entry, "link") as l_links then
 								across

library/text/parser/feed/src/kernel/feed.e

@@ -14,7 +14,7 @@ inherit
 create
 	make
 
-feature {NONE} -- Initialization	
+feature {NONE} -- Initialization
 
 	make (a_title: READABLE_STRING_GENERAL)
 		do
@@ -55,7 +55,7 @@ feature -- Access
 			Result := items.new_cursor
 		end
 
-feature -- Element change	
+feature -- Element change
 
 	set_description (a_description: detachable READABLE_STRING_GENERAL; a_description_content_type: like description_content_type)
 			-- Set `description' with `a_description' and optional content type `text:$a_description_content_type'.
@@ -80,8 +80,8 @@ feature -- Element change
 
 	set_updated_date_with_text (a_date_text: detachable READABLE_STRING_32)
 			-- Set `date' from date string representation `a_date_text'.
-		obsolete 
-			"Use set_date_with_text [oct/2015]"
+		obsolete
+			"Use set_date_with_text [2017-05-31]"
 		do
 			set_date_with_text (a_date_text)
 		end
@@ -112,7 +112,7 @@ feature -- Element change
 			-- Remove feed item `a_item' from Current list of feed items.
 		do
 			items.prune (a_item)
-		end		
+		end
 
 	extended alias "+" (a_feed: FEED): FEED
 			-- New feed object made from Current merged with a_feed.

library/text/parser/feed/src/kernel/feed_item.e

@@ -22,7 +22,7 @@ inherit
 create
 	make
 
-feature {NONE} -- Initialization	
+feature {NONE} -- Initialization
 
 	make (a_title: READABLE_STRING_GENERAL)
 		do
@@ -157,8 +157,8 @@ feature -- Element change
 
 	set_updated_date_with_text (a_date_text: detachable READABLE_STRING_32)
 			-- Set `date' from date string representation `a_date_text'.
-		obsolete 
-			"Use set_date_with_text [oct/2015]"
+		obsolete
+			"Use set_date_with_text [2017-05-31]"
 		do
 			set_date_with_text (a_date_text)
 		end

library/text/parser/feed/src/rss/rss_2_feed_parser.e

@@ -52,7 +52,7 @@ feature -- Access
 						if attached xml_element_text (x_channel, "title") as x_title then
 							create Result.make (x_title)
 							Result.set_description (xml_element_text (x_channel, "description"), "xhtml")
-							Result.set_updated_date_with_text (xml_element_text (x_channel, "lastBuildDate"))
+							Result.set_date_with_text (xml_element_text (x_channel, "lastBuildDate"))
 							if attached links_from_xml (x_channel, "link") as l_links then
 								across
 									l_links as link_ic
@@ -69,7 +69,7 @@ feature -- Access
 									if attached xml_element_text (x_item, "title") as e_title then
 										create e.make (e_title)
 										e.set_description (xml_element_text (x_item, "description"))
-										e.set_updated_date_with_text (xml_element_text (x_item, "pubDate"))
+										e.set_date_with_text (xml_element_text (x_item, "pubDate"))
 
 										e.set_id (xml_element_text (x_item, "guid"))
 

library/text/parser/feed/src/support/feed_to_string_32_debug_visitor.e

@@ -130,7 +130,7 @@ feature -- Visitor
 			s.append_string_general ("@")
 			s.append_string (a_link.relation)
 			s.append_string (" -> ")
-			s.append_string (a_link.href)
+			s.append_string_general (a_link.href)
 			append_text (s)
 		end