[slime-devel] Daily ChangeLog diff

[Marco Baringer]

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 at 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 at freebits.de>
 	
 	* swank.lisp (fuzzy-find-matching-symbols): Modified to take