XSB Src (SVN)-old

added file

Update compiler to generate getdfloat and putdfloat to compile
constant doubles. (string seems to be the one syslib file that
uses floats, so its xwam file is updated. Again, if different
chips represent doubles differently, then xwam files generated on
one machine may not work on another.)

Add new instructions putdfloat and getdfloat to handle double floats.
Update the loader to load these instructions from the xwam files.
(There is a possible problem. The doubles are written into the xwam
file as bitstrings, and read by the loader as the same bitstring. If
representations on different machines are different, then xwam files
compiled on one system won't run on another.)

more info on mysql driver

added documentation about mysql driver.
In quick_start added a note that XSB must be configured for windows.

fixed bug

fixed configure.in

Added documentation for normal, weibull, and exponential random number
generation, and documentation of O'Keefe's heaps.pl. Also, cleaned up
some indexes.

corrected mysql driver

added mysqlembedded driver