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}