SWI-Prolog 7.3.4
AllApplicationManualNameSummaryHelp

PublicShow sourceag_menu.pl -- Amalgame menu.

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

Sourcecliopatria:menu_item(-Item, -Label) is nondet[multifile]
Provide the Amalgame extensions to the Cliopatria menu.
Sourcecliopatria:menu_item(-Item, -Label) is nondet[multifile]
Provide the Amalgame extensions to the Cliopatria menu.
ClioPatria (version V3.0.0-256-gb9fa133)