From 4a0c6921d583dea610518af072c8b01b3dc3a9c5 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Fri, 11 Dec 2015 15:43:42 +0100 Subject: small change in help.inc.php --- help.inc.php | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/help.inc.php b/help.inc.php index e571a6d..0fa396d 100644 --- a/help.inc.php +++ b/help.inc.php @@ -3,10 +3,8 @@ Alternatively, in the textual interface, you may just press return when you fini

The session can be paused at any time and continued later; However, if you have to pause your session, wait until the activity notification disappears and then press 'Pause', as we are collecting timing information. You may also just reload this site and re-request the segment to reset the timer.

-

Please use only a single browser window at the same time. Going back to earlier examples is not possible, please take great care when interacting with the system.

-

Instructions for the graphical interface:

To submit a post-edition in the graphical interface all phrases have to be marked as finished.

-- cgit v1.2.3