* debug.h, debug.c: Various name changes.
authorMikael Djurfeldt <djurfeldt@nada.kth.se>
Fri, 23 Aug 1996 01:19:52 +0000 (01:19 +0000)
committerMikael Djurfeldt <djurfeldt@nada.kth.se>
Fri, 23 Aug 1996 01:19:52 +0000 (01:19 +0000)
commitcbff1d8959ffd94ec07393bbd35e104dc9986562
treec91644752bd097cf0c880fd8dccd6e4133e6a97e
parent5e8d7fd4faa9a8cdde5c49708a10215617b6ba01
* debug.h, debug.c: Various name changes.
(Mostly prefixing with SCM_.)  Renamed "debug-options" -->
"debug-options-interface".  See commentary in options.c.

* options.h, options.c: Options now have documentation strings.
Also added a long explanatory commentary.
libguile/options.c