Eli Zaretskii wrote: > > Check the command ``symbol-file'' in the user documentation. It should > > do exactly what you want. > > In what way is this different from "gdb program core"? If the > difference is important, I think the manual lacks an explanation of > that difference. They should have the same net effect. Andrew