[not loaded]
packs.pl
- $pack_detach(+Name, -Dir) is det
- Detach the given package from the search paths and list of registered packages, but does not delete the files.
- $pack_attach(+Dir) is det
- Attach the given package
- attach_packs
- Attach packages from all package directories.
- attach_packs(+Dir)
- Attach packages from directory Dir.