From 7527c24dcf7e7e59a8bc54fb99204a83bd25d083 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 17 Oct 2001 15:34:43 +0000 Subject: [PATCH] Oooops. After the last commit all the URLs were damaged. --- helm/on-line/html/control.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html index 98bfebaf4..08840663c 100644 --- a/helm/on-line/html/control.html +++ b/helm/on-line/html/control.html @@ -26,9 +26,9 @@ td.back { background-color: #e6e6fa; color: brown }
The on-line interface will use a -Getter to locate and +Getter to locate and download documents and an -UWOBO to apply transformations +UWOBO to apply transformations to them. @@ -40,9 +40,9 @@ to instances of them.

To control the behaviour of them, use the apposite -Getter panel +Getter panel and -UWOBO panel. +UWOBO panel.

-- 2.39.2