search

gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

Kenzo-8 #136

Closed gheber closed 5 years ago

gheber commented 5 years ago

This version contains the source for Kenzo versions 7, 8, and 9, but only versions 7 and 8 currently pass the regression test suite.

gheber commented 5 years ago

This commit includes Kenzo version 8 in package 'cat-8'. The default version is still version 7 in package 'cat-7'. For backward compatibility, 'cat' is a nickname for 'cat-7'. This can be easily changed by editing package.lisp.