- changed status to resolved
Adapt documentation to include XSB
Issue #404
resolved
Add explanation about XSB and the option to the documentation
Comments (1)
-
reporter - Log in to comment
Fixed in c6b6c05