This change is good, and I will install it. But instead of this + Now one can simply write, for example:
I'll use this:
Now you can search for a @code{happy} property like this:
_______________________________________________
Emacs-devel mailing list
Emacs-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/emacs-devel
