derived integrity constaints

From the meeting today:
PA: http://ppr.cs.dal.ca:3002/n3/editor/s/IlCCbibQ ; doesn’t work in Eye
currently
This is now fixed in the latest EYE
https://github.com/josd/eye/releases/tag/v21.0510.2007
@William Van Woensel <william.vanwoensel@gmail.com> it would be nice if you
could install it at  http://ppr.cs.dal.ca

Jos

-- https://josd.github.io/ <http://josd.github.io/>

Received on Monday, 10 May 2021 22:10:15 UTC