julianmendez / jcel

Completed

by Julian

created 2016-12-07 16:34 UTC

There were no notable changes in the changeset which was inspected.

???

Head	Julian Mendez 2016-12-07 17:34 GMT+0100 Update version of lat-parent
Base	Julian Mendez 2016-12-02 16:49 UTC Fix bug of querying for equivalent classes of class expressions