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
C00001 00001
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)
C00010 ENDMK
CāŠ—;
CS 206
Handout #2
09-30-76

		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:

HI

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
    as:

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:

PASSWORD?

    Type your password, followed by a carriage return.  (The password
    will not be echoed back by the system.)

5.  The system then types:

RUNNING
LOAD AV     3.07     2.37     1.76

LISP CAI SYSTEM 10-7-75
MON 29-MAR-76 08:47:10
GOOD MORNING,JOHN!

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.

.EXIT

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.