up previous next
1.7.3 Package Essentials
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. There are no restrictions on the string PackageName, but keep in mind that it serves to distinguish functions in the package from those in all other CoCoA packages. A name of the form contrib/subject is typical.

All packages in the CoCoA directory packages are automatically loaded when starting CoCoA.