XSB Src (SVN)-old

Escaped backslashes in strings as necessary.

Escaped backslashes in strings as necessary.

Escaped all backslashes (in quoted strings) that weren't escape characters themselves.

Doubled necessary back-slashes in strings.

Change \ in atom names to \ as necessary to conform to ISO standard.

added a paragraph about the correspondence between MiniZinc types and XSB terms.

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.