up previous next
A package begins with
Package $PackageName
and ends with
EndPackage;
PackageName is a string that will be used to identify the package.
The dollar sign is required. The
PackageName must be a valid
identifier: i.e. start with a letter and comprise only letters,
digits, slash and underscore; the name should be meaningful (and
usually long, to avoid any risk of a name clash). We recommend using
a name of the form
contrib/subject.
All packages in the CoCoA directory
packages are
automatically loaded when starting CoCoA.