Revision 07fc868ecfd31fecc7c3f964730f946c31f5ab80 authored by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC, committed by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC
1 parent ecd99ed
procedures
PROCEDURES
outputs a list of the names of all unburied user-defined procedures
in the workspace. Note that this is a list of names, not a
contents list. (However, procedures that require a contents list
as input will accept this list.)
Computing file changes ...