From 179b63f74cdaca71f99300a63f7e95b470e1b42d Mon Sep 17 00:00:00 2001 From: halw Date: Fri, 21 Aug 2009 00:21:07 +0000 Subject: [PATCH] Author:halw Date:2009-08-21T00:21:07.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@287 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffelstudio-reference/browsing-tools/index.wiki | 2 +- .../eiffeltime-tutorial/date-time-string-conversion.wiki | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/browsing-tools/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/browsing-tools/index.wiki index c362f55c..618d0674 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/browsing-tools/index.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/browsing-tools/index.wiki @@ -1,7 +1,7 @@ [[Property:title|Browsing tools]] [[Property:weight|-13]] [[Property:uuid|b4e840c3-a635-b5dd-fbd2-0db69b3d6ce1]] -The browsing tools are the address bars as well as all the tools that are in the left panel of development windows in normal mode. They help find an item in the system, such as a class, a cluster, a feature, some text, ... They include the [[Address bars|address bars]], the [[Cluster tool|cluster tool]], the [[Feature tool|feature tool]], the [[Favorites tool|favorites tool]], the [[Windows tool|windows tool]], and the [[Search tool|search tool]] . +The browsing tools are the address bars as well as all the tools that are in the left panel of development windows in normal mode. They help find an item in the system, such as a class, a cluster, a feature, some text, ... They include the [[Address bars|address bars]], the [[Groups tool|groups tool]], the [[Feature tool|feature tool]], the [[Favorites tool|favorites tool]], the [[Windows tool|windows tool]], and the [[Search tool|search tool]] . {{seealso|
[[EiffelStudio window overview|General window overview]] }} diff --git a/documentation/current/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/date-time-string-conversion.wiki b/documentation/current/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/date-time-string-conversion.wiki index b6aa43ec..01057755 100644 --- a/documentation/current/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/date-time-string-conversion.wiki +++ b/documentation/current/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/date-time-string-conversion.wiki @@ -1,7 +1,7 @@ [[Property:title|DATE / TIME to STRING Conversion]] [[Property:weight|3]] [[Property:uuid|88972ba4-694b-8558-b0c8-87b1fc40afc4]] -The classes TIME, DATE, and DATE_TIME provide a query formatted_out which can be used to retrieve a string containing the date or time in a format specified by a string or format conversion codes that the caller provides as an argument. So for example, if a DATE instance referenced by my_date has a value of February 3, 2008, then applying the query: +The classes TIME, DATE, and DATE_TIME provide a query formatted_out which can be used to retrieve a string containing the date or time in a format specified by a string or format conversion codes that the caller provides as an argument. The conversion is done in the DATE_TIME_CODE_STRING class. So for example, if a DATE instance referenced by my_date has a value of February 3, 2008, then applying the query: my_date.formatted_out ("[0]dd mmm yyyy")