Correct version of revision 715.
Do not attempt to remember command line parameters if sbcl can not do this.
Makefile fixes.
fix typos
make sbcl remember command line parameters
Correct a typo.
Update contrib/OCload-fricas.lisp.
Avoid crash when unparsing equations.
Change '--with-noweb' to '--with-noweb-tarball'.
Eliminate bogus error messages.