Commits

Doug Burke committed 11e7055

CHANGES update for changeset @2ac0d8863171

Comments (0)

Files changed (1)

     means that the tests flag has been replaced by the --enable-tests
     option.
 
+  - Change to the internal labelling of the RDFS container-property
+    axioms in Swish.RDF.RDFProofContext.
+
   - Moved src/ to app/, and took advantage of the emptiness to move
     the library code into src/.
 
-TODO: can we "fix" the variable-naming issues in RDFProof?
-
 0.6.1.2:
 
   - corrected mtl constraint from >= 1 to >= 2 as the code does not