search for:
end
-- stop loading a file
end
-- a symbol which causes loading of a file to be stopped.
See also:
needs
-- read Macaulay 2 commands if necessary
load
-- read Macaulay 2 commands
input
-- read Macaulay 2 commands and echo
search for: