Sun Apr 05 03:31:13+0200 2020
9c9e10d
| name | last commit | date |
 online.scm | Add rdf:XMLLiteral for test support | Sat Apr 04 21:11:37+0200 2020 |
| result.scm | Add test infrastructure and turtle test | Tue Mar 31 04:36:16+0200 2020 |
| testsuite.scm | Add simple entailment regime and associated tests | Fri Apr 03 03:36:30+0200 2020 |