Re: Pre-v11 appearances of the word "procedure" in v11 docs

On 14/08/18 22:39, Tom Lane wrote:
> Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
>> What should we do with the use of the keyword PROCEDURE in the CREATE
>> OPERATOR and CREATE TRIGGER syntaxes?
> 
> We're kinda stuck with that.  We could add FUNCTION as a preferred
> synonym, perhaps, but I doubt that'd really be worth the trouble.

If someone were to waste their time doing it, would we want FUNCTION or
ROUTINE?
-- 
Vik Fearing                                          +33 6 46 75 15 36
http://2ndQuadrant.fr     PostgreSQL : Expertise, Formation et Support