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.