In the CLIM version, including the distributed Solaris image, the menu that prompts to know if you wish to quit the LKB system shows up at odd times, for instance when reloading a grammar if an existing type hierarchy is left open. The patch is here . Download it to a file and save to e.g. patch1.lsp. MCL users may get an error message that indicates the package USER cannot be found. The corrected version is here .
Bug reporting Before reporting a bug, please read the manual carefully.
Use the Acrobat search facility to make sure you have found all the relevant documentation. Check the known problem list, above. Then check the excerpts from the mailing list to see if someone has raised your problem already. If you are running a non-current version of the LKB, you might like to upgrade to the current version and see whether the bug has been fixed. If none of this answers your question, please send a description of the problem to the LKB bug report mailing address , with as much detail as possible and in particular giving a verbatim report of any error messages.