julianmendez / jcel

Completed

by Julian

created 2016-01-20 14:58 UTC

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

???

Head	Julian Mendez 2016-01-20 15:58 GMT+0100 Create interface for an extended normalized axiom
Base	Julian Mendez 2016-01-20 10:41 UTC Extend module extractor