>>>>> "Richard" == Richard Fateman <fateman@cs.berkeley.edu> writes:
Richard> How do I download this revision and this file?
Richard> Do I have to set up CVS checkout?
No, you don't, but it is convenient.
You can view individual files by following the CVS links on maxima's
sourceforge site. The particular file you're looking for can be
obtained here:
http://cvs.sourceforge.net/viewcvs.py/maxima/maxima/src/maxima-package.lisp
Just download the desired revision.
Ray