julianmendez / jcel

Completed

by Julian

created 2016-04-14 15:50 UTC

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

???

Head	Julian Mendez 2016-04-14 17:50 GMT+0200 Add unit test
Base	Julian Mendez 2016-03-31 20:28 UTC Improve axiom translator to manage undeclared entities