To continue the guided tour go back where You came from
Continue reading the hints in German (...)

Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!

### Tastenbezeichungen ########################
C-a bedeutet Cntrl-a
M-a bedeutet Alt-a, ebenso: F11 a, C-[ a
 (auf Tastaturen ohne Alt: Compose)
A-a bedeutet Alt-a (für Umlaute)

### Sichern, übersetzen, laden, überprüfen ####
Im linken Fenster in einem Beispiel
die Taste DO drücken. Ebenso: Maus-2, ENTER,
C-x C-s

Nach DO im linken Fenster ist das momentane
Beispiel (wo der cursor steht) gesichert,
übersetzt, geladen und überprüft. Gab es
Fehler, so sind Zeilen beginnend mit !
eingefügt, das Beispiel konnte dann u.U. nicht
übersetzt werden.

### Anfrage ###################################
Cursor auf den : einer Zusicherung stellen und
DO drücken.	Ebenso: Maus-2, ENTER, C-x C-s

Bitte beachten Sie, daß ein Beispiel zuerst
geladen sein muß, bevor Sie eine Anfrage
stellen können. Das heißt, daß Sie zuvor DO
irgendwoanders im Beispiel drücken müssen.

### Umgebung verlassen, ,,Aussteigen`` ########
C-x C-c . Bitte sichern Sie zuvor die Beispiele
mit DO bzw. der mittleren Maustaste.

### Hinweise ##################################
Vor einem \hinweis{init} DO, Maus-2 etc.

### Programmtext ##############################
F2: sucht nach oben den Funktor eines Ziels  
  bzw. Prädikats
F3: wie F2 nach unten
  !! Meldungen der untersten Zeile zu beachten
F1: fügt den letzten Funktor bei Cursor ein

### Editieren von Text ########################
C-a : Anfang, C-e : Ende der Zeile
M-< : Anfang, M->: Ende
INSERT:verdoppelt Zeile (nützl.f.Zusicherungen)
C-_: UNDO (Cntrl-Shift-Bindestrich)
M-k: Kopiert bis zum Ende der Zeile
C-k: Löscht bis zum Ende der Zeile
C-y: Schreibt gelöschte/kopierte Zeile zurück
C-d: Löscht Zeichen unter dem Cursor

### Textsuche #################################
F4: Suche eines Beispiels
SEARCH, C-s: suchen eines Wortes
C-r: Suche nach oben
C-s C-s: letzte Suche nochmals etc.
C-g    falls vertippt.

C-c C-r: löscht bei Zeilen beginnend mit @@@
  die @@@ weg.
C-c r: löscht die Zeilen beginnend mit @@@ weg.

SELECT, C-x o: Cursor in das andere Fenster
NEXT: vorblättern, PREVIOUS: zurückblättern

### Maus ######################################
 Links: Positionieren
 Mitte: wie <DO>
 Rechts: wie Links, zeigt passenden Ausdruck,
  wenn auf schließende Klammer gesetzt.

### Ausdrucken ################################
C-c C-p (erst im November möglich)

### ISO Latin1 Umlaute ########################
C-c a: ä ... C-c s: ß
oder (auf neueren Tastaturen)
A-a: ä ... A-s: ß
Akzente allgemein mit Präfix:
A-'a oder C-c'a
A-` A-" A-^ A-~ A-, A-/

### Systembeschwerde ##########################
Wenn Geräte nicht funktionieren und bei
ähnlichen Dingen:
! Bitte nicht bei Fragen zur Umgebung, zum    !
! Übungsmodus, zu Beispielen etc. (dazu sind  !
! die < Fragen da)                            !
C-c C-m und eine kurze (einzeilige)
Beschreibung des Problems angeben. Bedenken Sie
bitte auch, daß nur diese Zeile gelesen wird.
Wenn Sie also eine zu kurze Beschreibung des
Problems angeben, hilft das erst recht nichts!
Zurück: \hinweis{init}

To continue the guided tour go back where You came from
Continue reading the hints in German