Re: Undocumented get_flag options

> I've just been browsing the docs & implementations of get_flag and set_flag.
> There seem to be a number of inconsistencies.

Thanks, I've cleaned it up a bit as follows:

Obsolete r/w (setting ignored, not returned by get_flag):
>         max_vars_per_clause (ignored)
>         parser_size (ignored)
>         user_options (ignored)

Obsolete r/o (removed completely):
>         global_size (prints error)

Currently unsupported (error):
>         statistics (obsolete)
>         debugger_warnings

Undocumented (setting works, not returned by get_flag):
>         load_release_delay
>         publishing_parameter
>         strip_variables (can only turn on!?!?)

Proper flags (documented):
>         default_language
>         gc_incr


-- Joachim