[slime-devel] Daily ChangeLog diff

Index: slime/ChangeLog diff -u slime/ChangeLog:1.1123 slime/ChangeLog:1.1124 --- slime/ChangeLog:1.1123 Fri May 11 11:41:06 2007 +++ slime/ChangeLog Sun May 13 05:41:06 2007 @@ -1,3 +1,12 @@ +2007-05-13 Tobias C. Rittweiler tcr@freebits.de + + * slime.el (slime-pretty-lambdas): Removed. If you really want + this, please use one of the external ressources that provide this; + for instance, `pretty-lambda.el', `pretty-greek.el', or even + `pretty-symbols.el'. For more information, please see + + http://www.emacswiki.org/cgi-bin/wiki/PrettyLambda + 2007-05-11 Tobias C. Rittweiler tcr@freebits.de * swank.lisp (fuzzy-find-matching-symbols): Modified to take