Sun Apr 05 04:10:34+0200 2020
a3f8af8
| name | last commit | date |
 semantics.scm.in | Add simple entailment regime and associated tests | Fri Apr 03 03:36:30+0200 2020 |
| turtle.scm.in | Use http link for testsuite | Thu Apr 02 15:59:41+0200 2020 |
Sun Apr 05 04:10:34+0200 2020
a3f8af8
| name | last commit | date |
| semantics.scm.in | Add simple entailment regime and associated tests | Fri Apr 03 03:36:30+0200 2020 |
| turtle.scm.in | Use http link for testsuite | Thu Apr 02 15:59:41+0200 2020 |