ag_menu.pl -- Amalgame menu.

This module is a ClioPatria plugin that extends the ClioPatria menu.

 cliopatria:menu_item(-Item, -Label) is nondet[multifile]

Provide the Amalgame extensions to the Cliopatria menu.