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. 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.