XSB Src (SVN)-old

minor

Fix a few minor typos from my initial reading.

first version of the minizinc doc (manual2)
som cleanup of naming in the code

started minizinc manual, cleaned up, examples of using solve_flex.

renamed swi:term_variables/2, so it won't clobber XSB's standard predicate
don't let makexsb clobber xasp.h, which is a required file (it seems)

1. Packages:
disabled compilation of xasp and xmc -- lots of errors and warnings.
Somebod should fix those.
2. makexsb now compiles packages also to avoid installation problems

3. minizinc: streamlined deletion of temp files

more error checking for different solvers

Added perm/2 for permutation. Fabrizio pointed out it was in manual but not in basics. So added it.

added delete/3

more error checking, added delayed version of minizinc (if input params are not ground)