The documentation says the option
will cause Regina to not use single line comments. It doesn't.
However, the option
Since it's part of the documentation (even if it's corrected), I suggest that Regina accept both forms.
All other options (that allow it) just add a
"no" to an option, not a
________________________________________________________ Gerard Schildberger.
Log in to post a comment.