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

File :ne in test/kenzo-9 #146

Closed Yehouda closed 4 years ago

Yehouda commented 4 years ago

There is a file called ":ne" in test/kenzo-9. Causes errors while loading it from quicklisp.

gheber commented 4 years ago

Good catch. Fixed.