name changes in system_xsb.c
Fixes in gpp to make it better work under windows
Authored by: kifer 2001-09-13
Parent: [r2665]
Child: [r2667]