Kenzo versions

This repository contains three Kenzo versions 1.1.[7,8,9]. For backward compatibility, the default version is 1.1.7. There are separate Lisp packages cat-[7,8,9] for the different versions and cat and kenzo are package nicknames for cat-7:

* (ql:quickload :kenzo)
To load "kenzo":
  Load 1 ASDF system:
    kenzo
; Loading "kenzo"

(:KENZO)
* (in-package :cat)
#<PACKAGE "CAT-7">
* (kenzo-version)

*** Kenzo-Version 1.1.7 ***

* (in-package :kenzo)
#<PACKAGE "CAT-7">
* (kenzo-version)

*** Kenzo-Version 1.1.7 ***
*

If your command of Common Lisp packages is a little rusty, please review Packaging in Common Lisp, a tutorial. A Jupyter notebook version can be found on GitHub or online in notebooks/pcl/Packages in Common Lisp.ipynb.

You can use a different Kenzo version, for example, via RENAME-PACKAGE or USE-PACKAGE:

* (ql:quickload :kenzo)
To load "kenzo":
  Load 1 ASDF system:
    kenzo
; Loading "kenzo"

(:KENZO)
* (rename-package 'cat-7 'cat-old)
#<PACKAGE "CAT-OLD">
* (rename-package 'cat-9 'cat-new '(cat kenzo))
#<PACKAGE "CAT-NEW">
* (cat:kenzo-version)

*** Kenzo-Version 9 ***
*