Reinstalling slime...

Giovanni Gigante giovanni.gigante at deepsky.it
Sun Oct 4 08:44:10 UTC 2015


> Il giorno 03/ott/2015, alle ore 17:07, Marco Antoniotti <marcoxa at cs.nyu.edu> ha scritto:
> 
> Was the cute initial animation canned? It does not seem to work for me.

I think it has been moved to the "banner" contrib:
https://common-lisp.net/project/slime/doc/html/Banner.html#Banner

Giovanni


More information about the slime-devel mailing list