You can run Franz Lisp out of the franzlisp locker on Athena. To run it, type:

	add franzlisp
	franz

Currently, franz lisp only runs on VAX workstations.

There is documentation about franz lisp available on-line; to get to it, type:

	attach docsourc
	more /mit/docsourc/doc/unix.manual.progsupp2/09.lisp/lisp.text

There is a postscript copy of this as well, which is suitable for printing
out.  To print it, type:

  lpr -Pprintername /mit/docsourc/doc/unix.manual.progsupp2/09.lisp/lisp.PS

where "printername" is the name of the printer you want to print it on.
However, be forewarned; it is somewhat lengthy.

You may also borrow out a Franz Lisp Manual from the Athena
Consultant's Office (1st floor N42) with a student id.  Additionally,
Robert Wilensky's CommonLISPcraft contains a tutorial introduction to
Franz Lisp.