perm filename USE.DOC[206,LSP] blob sn#239363
filedate 1976-10-16 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00004 PAGES
C REC PAGE DESCRIPTION
C00002 00002 CS 206
C00005 00003 6. The LISP CAI system will prompt with a dot (.). This means that
C00009 00004 The rest of this handout was zeroxed from an old handout (Spring 1975)
The LISP CAI System
The following is a short sample session with the system. Once
you have succeeded in logging in, the syystem is self-explanatory.
Feel free to type question mark (?) anytime the system appears
to expect an input. The system will respond with an explanation
of your options at that point. (You are encouraged to do so
in any new situation, since you may have options of which you
are not aware.)
In order to log in, you must:
1. Go to a terminal. (If it is a TTY, push the START key.
The teletype motor will begin to hum.)
2. Type space. The system will respond with:
PLEASE TYPE YOUR NUMBER AND NAME.
3. Type your account number, a space, your "nickname", and a space.
The system responds with your last name, so that the line appears
nnn JOHN DOE
following which the system will type something like:
JOB 15 ON TTY50, FRI MAR 29 76 9:45AM-PST
4. Then, if this is the first time you have logged in, the system
will ask you to set a password (anything up to six characters).
On subsequent logins, the system will ask:
Type your password, followed by a carriage return. (The password
will not be echoed back by the system.)
5. The system then types:
LOAD AV 3.07 2.37 1.76
LISP CAI SYSTEM 10-7-75
MON 29-MAR-76 08:47:10
followed by any messages that may be waiting, and then:
TYPE ? FOR HELP AT ANY TIME!
6. The LISP CAI system will prompt with a dot (.). This means that
the system is waiting for a command from the terminal. As usual,
you may type a question mark (followed by a carriage return, of course)
to view your options. (However, this will not work within the LISP
editor, but only at the top level when within LISP. To exit from
the editor, type OK.) Note that here and elsewhere the symbols "<>"
surround metasymbols, which denote a class of objects. These <>'s
are NOT typed into the system.
ABBREV <ARG> TO SET TEXT MODE.
CURRENT TO DISPLAY CURRENT POSITION IN THE COURSE.
EXPLAINERRS <ARG> TO SET ERROR EXPLANATION MODE FOR PROBS.
NAMES TO DISPLAY THE NAMES OF ALL LESSONS.
REVIEW TO REPEAT THE LAST LESSON STARTED OR CONTINUED.
START TO BEGIN INSTRUCTION AT CURRENT POSITION.
START <LESSON> TO BEGIN INSTRUCTION AT A PARTICULAR LESSON.
TEST TO TAKE A TIMED TEST.
TOPICS TO LIST TOPICS IN THE CURRENT LESSON.
TOPICS <LESSON> TO LIST TOPICS IN A GIVEN LESSON.
COMPILE <FILES> TO INVOKE THE PRODUCTION COMPILER.
HELP TO INVOKE THE ILISP HELP SYSTEM.
LISP TO INVOKE A NORMAL LISP TOP LEVEL.
UPLANNER TO INVOKE A MICRO-PLANNER INTERPRETER.
VERIFY TO INVOKE LAP CORRECTNESS CHECKER.
DELETE <FILES> TO DELETE THE NAMED FILES.
FILES <ARG> TO LIST FILES BELONGING TO YOU OR TO A GROUP.
INDSK <FILES> TO LOAD FILES INTO THE SYSTEM.
OUTDSK <FILE><ARG> TO SAVE FUNCTIONS, ETC. ON A FILE.
PRINT <FILES> TO PRINT THE CONTENTS OF ONE OR MORE FILES.
EXIT TO EXIT FROM THE CAI SYSTEM.
GRIPE TO MAKE A 'COMMANT' ABOUT THE CAI SYSTEM.
LINK TO ATTEMPT TO CONTACT A TA VIA OF YOUR TERMINAL.
MESSAGE <NUMBER> TO SEND A MESSAGE TO ANOTHER STUDENT.
PASSWORD TO CHANGE YOUR LOGIN PASSWORD.
UNLINK TO BREAK A LINK CREATED BY THE 'LINK' COMMAND.
ZAP <ARG> TO KILL COMPILE, UPLANNER OR VERIFY PROCESSES.
; TO TREAT THE REST OF THE LINE AS A COMMENT.
? TO SEE THIS LIST OF COMMANDS.
7. The system now prompts for the next command. To exit from the
system use the EXIT command. This logs your job out.
MON 29-MAR-76 08:52:23
END OF SESSION,JOHN.
The rest of this handout was zeroxed from an old handout (Spring 1975)
with changes to the detailed descriptions of the COMPILE and ZAP
commands, as follows:
KOMPILE → COMPILE in COMPILE.
ZAP <arg> allows you to kill off the COMPILE,
UPLANNER, or VERIFY processes.
Please do so when you are finished
with them. ZAP ? gets you details.
and with the heading for the detailed descriptions changed to:
A detailed summary of the more important commands follows.
An expanded and up-to-date version exists as <LSPCAI>LSPCAI.DOC.