[slime-devel] [PATCH} Problem with Restart node in slime.texi

Version 4.7 makeinfo fails with case problems when referencing "Restarts" node as "restarts" in menus. Fix actually performed by Emacs texinfo mode by selecting "Texinfo/Update All Menus" from menubar. -- Barry Fishman