From 14c17e60856d6fdba8d3794417e7e4d53bb51e13 Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Tue, 30 Oct 2018 14:59:36 +0000
Subject: [PATCH] Fixed menu path for AutoTest tool. Updated wikipage Testing:
 Background and basics. 	(Signed-off-by:javier).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2090 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../using-autotest/testing-background-and-basics.wiki         | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/documentation/18.07/eiffelstudio/Tutorials/using-autotest/testing-background-and-basics.wiki b/documentation/18.07/eiffelstudio/Tutorials/using-autotest/testing-background-and-basics.wiki
index 50a61620..20fe5719 100644
--- a/documentation/18.07/eiffelstudio/Tutorials/using-autotest/testing-background-and-basics.wiki
+++ b/documentation/18.07/eiffelstudio/Tutorials/using-autotest/testing-background-and-basics.wiki
@@ -1,3 +1,5 @@
+[[Property:modification_date|Tue, 30 Oct 2018 14:59:36 GMT]]
+[[Property:publication_date|Tue, 30 Oct 2018 14:59:36 GMT]]
 [[Property:title|Testing: Background and basics]]
 [[Property:weight|0]]
 [[Property:uuid|12c2a2d4-9bf2-ba73-6647-cb9900666de1]]
@@ -34,7 +36,7 @@ The testing support classes are distributed with EiffelStudio and exist in the '
 The interface for AutoTest is accessible through the EiffelStudio development environment. You may find it already resident as a tab in the right hand pane next to Clusters, Features, and Favorites. If it's not there, then you can bring it up by following the menu path:
 
 <code lang=text>
-View --> Tools --> Testing Tool </code>
+View --> Tools --> AutoTest </code>
 
 
 ==Test classes and tests==